Searched refs:gicd_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() argument64 KVM_VGIC_V3_ADDR_TYPE_DIST, &gicd_base_gpa); in vgic_v3_setup()66 virt_map(vm, gicd_base_gpa, gicd_base_gpa, nr_gic_pages); in vgic_v3_setup()
20 uint64_t gicd_base_gpa, uint64_t gicr_base_gpa);