Searched refs:pte_pae (Results 1 – 1 of 1) sorted by relevance
729 uint64_t *pte_pae; in vm86_datacall() local737 pte_pae = (uint64_t *)vm86paddr; in vm86_datacall()741 vmc->pmap[i].old_pte = pte_pae[entry]; in vm86_datacall()742 pte_pae[entry] = page | PG_V | PG_RW | PG_U; in vm86_datacall()766 pte_pae[entry] = vmc->pmap[i].old_pte; in vm86_datacall()