GUEST_GICV3_GICR0_BASE (reference) in projects: xen

Searched refs:GUEST_GICV3_GICR0_BASE (Results 1 – 5 of 5) sorted by relevance

/xen/xen/include/public/
A D	arch-arm.h	`414 #define GUEST_GICV3_GICR0_BASE xen_mk_ullong(0x03020000) /* vCPU0..127 */ macro`
/xen/tools/libxl/
A D	libxl_arm_acpi.c	`324 make_acpi_madt_gicr(table, GUEST_GICV3_GICR0_BASE, in make_acpi_madt()`
A D	libxl_arm.c	`526 const uint64_t gicr0_base = GUEST_GICV3_GICR0_BASE; in make_gicv3_node()`
/xen/xen/arch/arm/
A D	vgic-v3.c	`1721 d->arch.vgic.rdist_regions[0].base = GUEST_GICV3_GICR0_BASE; in vgic_v3_domain_init()`
A D	domain_build.c	`1692 GUEST_GICV3_GICR0_BASE, GUEST_GICV3_GICR0_SIZE); in make_gicv3_domU_node()`

Completed in 13 milliseconds