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

  /src/sys/arch/amd64/stand/prekern/
pdir.h 40 #define PTE_BASE ((pt_entry_t *)VA_SIGN_NEG((L4_SLOT_PTE * NBPD_L4)))
42 #define L1_BASE PTE_BASE
mm.c 70 if (PTE_BASE[pl1_i(va)] & PTE_P) {
73 PTE_BASE[pl1_i(va)] = pa | PTE_P | protection_codes[prot];
79 PTE_BASE[pl1_i(va)] = pa | PTE_P | protection_codes[prot];
127 pa = (PTE_BASE[pl1_i(va)] & PTE_FRAME);
  /src/sys/arch/amd64/include/
csan.h 41 return (addr >= (vaddr_t)PTE_BASE &&
42 addr < ((vaddr_t)PTE_BASE + NBPD_L4));
pmap_private.h 116 * PTE_BASE: the base VA of the linear PTE mappings
121 extern pt_entry_t *pte_base;
122 #define PTE_BASE pte_base
124 #define PTE_BASE ((pt_entry_t *)VA_SIGN_NEG((L4_SLOT_PTE * NBPD_L4)))
127 #define L1_BASE PTE_BASE
asan.h 130 return (addr >= (vaddr_t)PTE_BASE &&
131 addr < ((vaddr_t)PTE_BASE + NBPD_L4));
msan.h 101 return (addr >= (vaddr_t)PTE_BASE &&
102 addr < ((vaddr_t)PTE_BASE + NBPD_L4));
  /src/sys/arch/i386/include/
pmap_private.h 143 * note that the PDE#767 VA (0xbfc00000) is defined as "PTE_BASE"
197 * PTE_BASE will need 4 entries in the L2 PD pages to map the L2 pages
209 * PTE_BASE: the base VA of the linear PTE mappings
214 #define PTE_BASE ((pt_entry_t *) (PDIR_SLOT_PTE * NBPD_L2))
216 #define L1_BASE PTE_BASE
  /src/sys/arch/x86/include/
pmap_private.h 323 return (PTE_BASE + pl1_i(va));
337 return (PTE_BASE + pl1_i(va));
344 /* Selects the index of a PTE in (A)PTE_BASE */
360 va = ((va & XPTE_MASK) >> XPTE_SHIFT) | (vaddr_t) PTE_BASE;
  /src/sys/arch/x86/x86/
pmap.c 792 *ptepp = PTE_BASE;
827 *ptepp = PTE_BASE;
1328 early_zero_pte = PTE_BASE + pl1_i((vaddr_t)early_zerop);
1589 pte = PTE_BASE + pl1_i(tmpva);
1736 pte = PTE_BASE + pl1_i(tmpva);
1810 if (pmap_valid_entry(PTE_BASE[p1i]))
1811 PTE_BASE[p1i] |= pmap_pg_g;
1823 if (pmap_valid_entry(PTE_BASE[p1i]))
1824 PTE_BASE[p1i] |= pmap_pg_g;
1833 if (pmap_valid_entry(PTE_BASE[p1i])
    [all...]
  /src/sys/arch/i386/i386/
dumpsys.c 403 sparse_dump_mark((vaddr_t)PTE_BASE, 0, 1);

Completed in 42 milliseconds