Searched refs:dblmap_base (Results 1 – 3 of 3) sorted by relevance
| /xnu-10063.101.15/osfmk/i386/ |
| H A D | pmap.h | 530 extern uint64_t dblmap_base, dblmap_max, dblmap_dist;
536 if (__improbable((dbladdr >= dblmap_max) || (dbladdr < dblmap_base))) { in DBLMAP_CHECK()
538 (uint64_t)x, dbladdr, dblmap_base, dblmap_max); in DBLMAP_CHECK()
548 if (__improbable((dbladdr >= dblmap_max) || (dbladdr < dblmap_base))) { in LDTALIAS_CHECK()
550 (uint64_t)x, dbladdr, dblmap_base, dblmap_max); in LDTALIAS_CHECK()
|
| H A D | i386_init.c | 1138 uint64_t dblmap_base, dblmap_max; variable
1198 dblmap_base = KVADDR(KERNEL_DBLMAP_PML4_INDEX, randL3, 0, 0); in doublemap_init()
1199 dblmap_max = dblmap_base + hdescszr; in doublemap_init()
1204 dblmap_dist = dblmap_base - hdescb; in doublemap_init()
1219 DBG("Double map base: 0x%qx\n", dblmap_base); in doublemap_init()
|
| /xnu-10063.101.15/osfmk/x86_64/ |
| H A D | idt64.s | 1379 cmp EXT(dblmap_base)(%rip), %rsp
|