Lines Matching refs:xen_mk_ullong
381 #define SCTLR_GUEST_INIT xen_mk_ullong(0x00c50078)
394 #define GUEST_VIRTIO_MMIO_BASE xen_mk_ullong(0x02000000)
395 #define GUEST_VIRTIO_MMIO_SIZE xen_mk_ullong(0x00100000)
403 #define GUEST_GICD_BASE xen_mk_ullong(0x03001000)
404 #define GUEST_GICD_SIZE xen_mk_ullong(0x00001000)
405 #define GUEST_GICC_BASE xen_mk_ullong(0x03002000)
406 #define GUEST_GICC_SIZE xen_mk_ullong(0x00002000)
409 #define GUEST_GICV3_GICD_BASE xen_mk_ullong(0x03001000)
410 #define GUEST_GICV3_GICD_SIZE xen_mk_ullong(0x00010000)
414 #define GUEST_GICV3_GICR0_BASE xen_mk_ullong(0x03020000) /* vCPU0..127 */
415 #define GUEST_GICV3_GICR0_SIZE xen_mk_ullong(0x01000000)
421 #define GUEST_VPCI_ECAM_BASE xen_mk_ullong(0x10000000)
422 #define GUEST_VPCI_ECAM_SIZE xen_mk_ullong(0x10000000)
425 #define GUEST_ACPI_BASE xen_mk_ullong(0x20000000)
426 #define GUEST_ACPI_SIZE xen_mk_ullong(0x02000000)
429 #define GUEST_PL011_BASE xen_mk_ullong(0x22000000)
430 #define GUEST_PL011_SIZE xen_mk_ullong(0x00001000)
433 #define GUEST_VPCI_ADDR_TYPE_MEM xen_mk_ullong(0x02000000)
434 #define GUEST_VPCI_MEM_ADDR xen_mk_ullong(0x23000000)
435 #define GUEST_VPCI_MEM_SIZE xen_mk_ullong(0x10000000)
441 #define GUEST_GNTTAB_BASE xen_mk_ullong(0x38000000)
442 #define GUEST_GNTTAB_SIZE xen_mk_ullong(0x01000000)
444 #define GUEST_MAGIC_BASE xen_mk_ullong(0x39000000)
445 #define GUEST_MAGIC_SIZE xen_mk_ullong(0x01000000)
454 #define GUEST_RAM0_BASE xen_mk_ullong(0x40000000) /* 3GB of low RAM @ 1GB */
455 #define GUEST_RAM0_SIZE xen_mk_ullong(0xc0000000)
458 #define GUEST_VPCI_ADDR_TYPE_PREFETCH_MEM xen_mk_ullong(0x42000000)
459 #define GUEST_VPCI_PREFETCH_MEM_ADDR xen_mk_ullong(0x100000000)
460 #define GUEST_VPCI_PREFETCH_MEM_SIZE xen_mk_ullong(0x100000000)
462 #define GUEST_RAM1_BASE xen_mk_ullong(0x0200000000) /* 1016GB of RAM @ 8GB */
463 #define GUEST_RAM1_SIZE xen_mk_ullong(0xfe00000000)