pgtbl              52 arch/i386/i386/kvm86.c 	pt_entry_t pgtbl[PGTABLE_SIZE];
pgtbl             144 arch/i386/i386/kvm86.c 	vm86pgtableva = vmd->pgtbl;
pgtbl             155 arch/i386/i386/kvm86.c 	vmd->pgtbl[vmva >> 12] = pa | PG_V | PG_RW | PG_U | PG_u;
pgtbl             177 arch/i386/i386/kvm86.c 	if (bioscallvmd->pgtbl[vmva >> 12]) /* allocated? */
pgtbl             193 arch/i386/i386/kvm86.c 	bioscallvmd->pgtbl[vmva >> 12] = 0;
pgtbl             207 arch/i386/i386/kvm86.c 		if (!bioscallvmd->pgtbl[vmva >> 12])
pgtbl             209 arch/i386/i386/kvm86.c 		vmpa = bioscallvmd->pgtbl[vmva >> 12] & ~(PAGE_SIZE - 1);