Searched refs:gicr_base_gpa (Results 1 – 2 of 2) sorted by relevance
34 uint64_t gicd_base_gpa, uint64_t gicr_base_gpa) in vgic_v3_setup() argument69 redist_attr = REDIST_REGION_ATTR_ADDR(nr_vcpus, gicr_base_gpa, 0, 0); in vgic_v3_setup()74 virt_map(vm, gicr_base_gpa, gicr_base_gpa, nr_gic_pages); in vgic_v3_setup()
20 uint64_t gicd_base_gpa, uint64_t gicr_base_gpa);