Lines Matching refs:xen_mk_ullong
387 #define SCTLR_GUEST_INIT xen_mk_ullong(0x00c50078)
405 #define GUEST_GICD_BASE xen_mk_ullong(0x03001000)
406 #define GUEST_GICD_SIZE xen_mk_ullong(0x00001000)
407 #define GUEST_GICC_BASE xen_mk_ullong(0x03002000)
408 #define GUEST_GICC_SIZE xen_mk_ullong(0x00002000)
411 #define GUEST_GICV3_GICD_BASE xen_mk_ullong(0x03001000)
412 #define GUEST_GICV3_GICD_SIZE xen_mk_ullong(0x00010000)
416 #define GUEST_GICV3_GICR0_BASE xen_mk_ullong(0x03020000) /* vCPU0..127 */
417 #define GUEST_GICV3_GICR0_SIZE xen_mk_ullong(0x01000000)
420 #define GUEST_ACPI_BASE xen_mk_ullong(0x20000000)
421 #define GUEST_ACPI_SIZE xen_mk_ullong(0x02000000)
424 #define GUEST_PL011_BASE xen_mk_ullong(0x22000000)
425 #define GUEST_PL011_SIZE xen_mk_ullong(0x00001000)
431 #define GUEST_GNTTAB_BASE xen_mk_ullong(0x38000000)
432 #define GUEST_GNTTAB_SIZE xen_mk_ullong(0x01000000)
434 #define GUEST_MAGIC_BASE xen_mk_ullong(0x39000000)
435 #define GUEST_MAGIC_SIZE xen_mk_ullong(0x01000000)
439 #define GUEST_RAM0_BASE xen_mk_ullong(0x40000000) /* 3GB of low RAM @ 1GB */
440 #define GUEST_RAM0_SIZE xen_mk_ullong(0xc0000000)
442 #define GUEST_RAM1_BASE xen_mk_ullong(0x0200000000) /* 1016GB of RAM @ 8GB */
443 #define GUEST_RAM1_SIZE xen_mk_ullong(0xfe00000000)