Lines Matching defs:vmva
151 kvm86_map(struct kvm86_data *vmd, paddr_t pa, uint32_t vmva)
154 vmd->pgtbl[vmva >> 12] = pa | PG_V | PG_RW | PG_U | PG_u;
171 kvm86_bios_addpage(uint32_t vmva)
175 if (bioscallvmd->pgtbl[vmva >> 12]) /* allocated? */
183 kvm86_map(bioscallvmd, vtophys((vaddr_t)mem), vmva);
189 kvm86_bios_delpage(uint32_t vmva, void *kva)
192 bioscallvmd->pgtbl[vmva >> 12] = 0;
197 kvm86_bios_read(uint32_t vmva, char *buf, size_t len)
204 now = min(todo, PAGE_SIZE - (vmva & (PAGE_SIZE - 1)));
206 if (!bioscallvmd->pgtbl[vmva >> 12])
208 vmpa = bioscallvmd->pgtbl[vmva >> 12] & ~(PAGE_SIZE - 1);
212 memcpy(buf, (void *)(bioscalltmpva + (vmva & (PAGE_SIZE - 1))),
216 vmva += now;