/* ("xEn3" with the 0x80 bit of the "E" set).*/
uint32_t version; /* Version of this structure. */
uint32_t flags; /* SIF_xxx flags. */
- uint32_t cmdline_paddr; /* Physical address of the command line. */
uint32_t nr_modules; /* Number of modules passed to the kernel. */
- uint32_t modlist_paddr; /* Physical address of an array of */
+ uint64_t modlist_paddr; /* Physical address of an array of */
/* hvm_modlist_entry. */
- uint32_t rsdp_paddr; /* Physical address of the RSDP ACPI data */
+ uint64_t cmdline_paddr; /* Physical address of the command line. */
+ uint64_t rsdp_paddr; /* Physical address of the RSDP ACPI data */
/* structure. */
} __attribute__((packed));
* 8 +----------------+
* | flags | SIF_xxx flags.
* 12 +----------------+
- * | cmdline_paddr | Physical address of the command line,
- * | | a zero-terminated ASCII string.
- * 16 +----------------+
* | nr_modules | Number of modules passed to the kernel.
- * 20 +----------------+
+ * 16 +----------------+
* | modlist_paddr | Physical address of an array of modules
* | | (layout of the structure below).
* 24 +----------------+
+ * | cmdline_paddr | Physical address of the command line,
+ * | | a zero-terminated ASCII string.
+ * 32 +----------------+
* | rsdp_paddr | Physical address of the RSDP ACPI data structure.
- * 28 +----------------+
+ * 40 +----------------+
*
* The layout of each entry in the module structure is the following:
*
* | reserved |
* 32 +----------------+
*
- * The address and size of the modules is a 64bit unsigned integer. However
- * Xen will always try to place all modules below the 4GiB boundary.
+ * The address and sizes are always a 64bit little endian unsigned integer.
+ *
+ * NB: Xen on x86 will always try to place all the data below the 4GiB
+ * boundary.
*/
#define XEN_HVM_START_MAGIC_VALUE 0x336ec578