Lines Matching defs:pte
404 {"pv", "pte-write-emul", XDT_PV_PTWR_EMULATION, XDT_PV },
550 x86pte_t pte;
569 pte = mmu_ptob((x86pte_t)mfn) | PT_VALID | PT_USER
573 pte, UVMF_INVLPG | UVMF_LOCAL, DOMID_XEN);
1127 * data[0] = pte
1137 * data[0] = pte(0:31)
1138 * data[1] = pte(32:63)
1452 * data[0] = pte(0:31)
1453 * data[1] = pte(32:63)
1463 * data[0] = pte(0:31)
1464 * data[1] = pte(32:63)
1535 * data[0] = pte(0:31)
1536 * data[1] = pte(32:63)
1546 * data[0] = pte(0:31)
1547 * data[1] = pte(32:63)
1573 * data[0] = pte(0:31)
1574 * data[1] = pte(32:63)
1588 * data[0] = pte(0:31)
1589 * data[1] = pte(32:63)