Lines Matching full:guest
4 * Guest OS interface to ARM Xen.
59 * used regardless of guest type. Structures which are passed as
66 * - hypercall arguments passed via a pointer to guest memory.
82 * passed to hypercalls are Guest Physical Addresses (Intermediate
183 * XEN_GUEST_HANDLE represents a guest pointer, when passed as a field
186 * XEN_GUEST_HANDLE_PARAM represents a guest pointer, when passed as an
331 * the value in the guest DT.
402 * vGIC mappings: Only one set of mapping is used by the guest.
436 /* Guest PCI-PCIe memory space where config space and BAR will be available.*/
442 * 16MB == 4096 pages reserved for guest to use as a region to map its
454 * The way to find the extended regions (to be exposed to the guest as unused
476 /* Current supported guest VCPUs */