Lines Matching refs:xen_mk_ullong
395 #define GUEST_GICD_BASE xen_mk_ullong(0x03001000)
396 #define GUEST_GICD_SIZE xen_mk_ullong(0x00001000)
397 #define GUEST_GICC_BASE xen_mk_ullong(0x03002000)
398 #define GUEST_GICC_SIZE xen_mk_ullong(0x00002000)
401 #define GUEST_GICV3_GICD_BASE xen_mk_ullong(0x03001000)
402 #define GUEST_GICV3_GICD_SIZE xen_mk_ullong(0x00010000)
406 #define GUEST_GICV3_GICR0_BASE xen_mk_ullong(0x03020000) /* vCPU0..127 */
407 #define GUEST_GICV3_GICR0_SIZE xen_mk_ullong(0x01000000)
421 #define GUEST_GNTTAB_BASE xen_mk_ullong(0x38000000)
422 #define GUEST_GNTTAB_SIZE xen_mk_ullong(0x01000000)
424 #define GUEST_MAGIC_BASE xen_mk_ullong(0x39000000)
425 #define GUEST_MAGIC_SIZE xen_mk_ullong(0x01000000)
429 #define GUEST_RAM0_BASE xen_mk_ullong(0x40000000) /* 3GB of low RAM @ 1GB */
430 #define GUEST_RAM0_SIZE xen_mk_ullong(0xc0000000)
432 #define GUEST_RAM1_BASE xen_mk_ullong(0x0200000000) /* 1016GB of RAM @ 8GB */
433 #define GUEST_RAM1_SIZE xen_mk_ullong(0xfe00000000)