Searched refs:GUEST_GICC_SIZE (Results 1 – 6 of 6) sorted by relevance
292 BUILD_BUG_ON(GUEST_GICC_SIZE != SZ_8K); in vgic_v2_map_resources()294 csize = GUEST_GICC_SIZE; in vgic_v2_map_resources()
406 #define GUEST_GICC_SIZE xen_mk_ullong(0x00002000) macro
683 BUILD_BUG_ON(GUEST_GICC_SIZE != SZ_8K); in vgic_v2_domain_init()685 csize = GUEST_GICC_SIZE; in vgic_v2_domain_init()
1346 if ( vsize < GUEST_GICC_SIZE ) in gicv3_init_v2()1351 vsize, GUEST_GICC_SIZE); in gicv3_init_v2()1733 vsize = GUEST_GICC_SIZE; in gicv3_acpi_init()
1642 GUEST_GICC_BASE, GUEST_GICC_SIZE); in make_gicv2_domU_node()
944 GUEST_GICC_BASE, GUEST_GICC_SIZE) ); in libxl__prepare_dtb()
Completed in 19 milliseconds