Lines Matching refs:of
9 The presence of the `XEN_ELFNOTE_PHYS32_ENTRY` note indicates that the
23 * `cs`: must be a 32-bit read/execute code segment with a base of ‘0’
24 and a limit of ‘0xFFFFFFFF’. The selector value is unspecified.
26 * `ds`, `es`: must be a 32-bit read/write data segment with a base of
27 ‘0’ and a limit of ‘0xFFFFFFFF’. The selector values are all unspecified.
29 * `tr`: must be a 32-bit TSS (active) with a base of '0' and a limit of '0x67'.
35 charge of setting up it's own stack, GDT and IDT.
37 The format of the boot start info structure (pointed to by %ebx) can be found
44 The setup of the hypercall page is also performed in the same way
52 * `VCPUOP_initialise` is used to set the initial state of the vCPU. The
53 argument passed to the hypercall must be of the type vcpu\_hvm\_context.
54 See `public/hvm/hvm_vcpu.h` for the layout of the structure. Note that
56 regardless of the mode the BSP is currently running on.
63 * `VCPUOP_is_up` is used to scan the number of available vCPUs.
68 have ACPI tables with the description of the hardware that's available to the
70 the position of the RSDP in memory (if present) can be fetched from the start
73 Description of paravirtualized devices will come from XenStore, just as it's
81 done in order to take advantage of new hardware assisted virtualization
84 the delivery of interrupts from those devices, using the same interfaces that
91 event channels. Delivery of those interrupts can be configured in the same way