Searched refs:nr_gic_pages (Results 1 – 1 of 1) sorted by relevance
37 unsigned int nr_gic_pages, nr_vcpus_created = 0; in vgic_v3_setup() local55 nr_gic_pages = vm_calc_num_guest_pages(vm->mode, KVM_VGIC_V3_DIST_SIZE); in vgic_v3_setup()56 virt_map(vm, gicd_base_gpa, gicd_base_gpa, nr_gic_pages); in vgic_v3_setup()62 nr_gic_pages = vm_calc_num_guest_pages(vm->mode, in vgic_v3_setup()64 virt_map(vm, gicr_base_gpa, gicr_base_gpa, nr_gic_pages); in vgic_v3_setup()
Completed in 2 milliseconds