HomeSort by: relevance | last modified time | path
    Searched refs:PTE_4KFRAME (Results 1 - 6 of 6) sorted by relevancy

  /src/sys/arch/i386/include/
pte.h 127 #define PTE_4KFRAME 0x000ffffffffff000ULL
130 #define PTE_FRAME PTE_4KFRAME
150 #define PTE_4KFRAME 0xfffff000
153 #define PTE_FRAME PTE_4KFRAME
  /src/sys/arch/amd64/include/
pte.h 125 #define PTE_4KFRAME 0x000ffffffffff000
129 #define PTE_FRAME PTE_4KFRAME
  /src/sys/arch/xen/include/
xenpmap.h 92 return (xpmap_mtop_masked(mpa) | (mpa & ~PTE_4KFRAME));
106 return (xpmap_ptom_masked(ppa) | (ppa & ~PTE_4KFRAME));
  /src/sys/arch/i386/i386/
gdt.c 87 pa = (*ptp & PTE_4KFRAME) | ((vaddr_t)table & ~PTE_4KFRAME);
  /src/sys/arch/xen/x86/
xen_pmap.c 238 *pap = (pte & PTE_4KFRAME) | (va & (NBPD_L1 - 1));
x86_xpmap.c 917 addr = xpmap_mtop((paddr_t)L2[pl2_pi(page)] & PTE_4KFRAME);

Completed in 14 milliseconds