vmpa              201 arch/i386/i386/kvm86.c 	paddr_t vmpa;
vmpa              209 arch/i386/i386/kvm86.c 		vmpa = bioscallvmd->pgtbl[vmva >> 12] & ~(PAGE_SIZE - 1);
vmpa              210 arch/i386/i386/kvm86.c 		pmap_kenter_pa(bioscalltmpva, vmpa, VM_PROT_READ);