Searched refs:nr_gic_pages (Results 1 – 1 of 1) sorted by relevance
39 unsigned int nr_gic_pages, nr_vcpus_created = 0; in vgic_v3_setup() local65 nr_gic_pages = vm_calc_num_guest_pages(vm->mode, KVM_VGIC_V3_DIST_SIZE); in vgic_v3_setup()66 virt_map(vm, gicd_base_gpa, gicd_base_gpa, nr_gic_pages); in vgic_v3_setup()72 nr_gic_pages = vm_calc_num_guest_pages(vm->mode, in vgic_v3_setup()74 virt_map(vm, gicr_base_gpa, gicr_base_gpa, nr_gic_pages); in vgic_v3_setup()