Searched refs:GUEST_GICD_BASE (Results 1 – 4 of 4) sorted by relevance
395 #define GUEST_GICD_BASE xen_mk_ullong(0x03001000) macro
309 make_acpi_madt_gicd(table, GUEST_GICD_BASE, ACPI_MADT_GIC_VERSION_V2); in make_acpi_madt()
935 GUEST_GICD_BASE, GUEST_GICD_SIZE, in libxl__prepare_dtb()
675 d->arch.vgic.dbase = GUEST_GICD_BASE; in vgic_v2_domain_init()
Completed in 10 milliseconds