vmva              152 arch/i386/i386/kvm86.c kvm86_map(struct kvm86_data *vmd, paddr_t pa, uint32_t vmva)
vmva              155 arch/i386/i386/kvm86.c 	vmd->pgtbl[vmva >> 12] = pa | PG_V | PG_RW | PG_U | PG_u;
vmva              172 arch/i386/i386/kvm86.c kvm86_bios_addpage(uint32_t vmva)
vmva              177 arch/i386/i386/kvm86.c 	if (bioscallvmd->pgtbl[vmva >> 12]) /* allocated? */
vmva              184 arch/i386/i386/kvm86.c 	kvm86_map(bioscallvmd, pa, vmva);
vmva              190 arch/i386/i386/kvm86.c kvm86_bios_delpage(uint32_t vmva, void *kva)
vmva              193 arch/i386/i386/kvm86.c 	bioscallvmd->pgtbl[vmva >> 12] = 0;
vmva              198 arch/i386/i386/kvm86.c kvm86_bios_read(u_int32_t vmva, char *buf, size_t len)
vmva              205 arch/i386/i386/kvm86.c 		now = min(todo, PAGE_SIZE - (vmva & (PAGE_SIZE - 1)));
vmva              207 arch/i386/i386/kvm86.c 		if (!bioscallvmd->pgtbl[vmva >> 12])
vmva              209 arch/i386/i386/kvm86.c 		vmpa = bioscallvmd->pgtbl[vmva >> 12] & ~(PAGE_SIZE - 1);
vmva              213 arch/i386/i386/kvm86.c 		memcpy(buf, (void *)(bioscalltmpva + (vmva & (PAGE_SIZE - 1))),
vmva              217 arch/i386/i386/kvm86.c 		vmva += now;