Searched refs:gicd_area (Results 1 – 1 of 1) sorted by relevance
19 area_id gicd_area = vm_map_physical_memory(B_SYSTEM_TEAM, "intc-gicv2-gicd", in GICv2InterruptController() local23 if (gicd_area < 0) { in GICv2InterruptController()