Searched refs:nr_gic_pages (Results 1 – 1 of 1) sorted by relevance
38 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()