Searched refs:ia64_pgtbl (Results 1 - 5 of 5) sorted by relevance

/freebsd-10.3-release/sys/boot/ia64/common/
H A Dcopy.c38 uint64_t *ia64_pgtbl; variable
76 if (ia64_pgtbl != NULL && ia64_pgtbl != pgtbl)
77 bcopy(ia64_pgtbl, pgtbl, ia64_pgtblsz);
80 if (ia64_pgtbl != NULL && ia64_pgtbl != pgtbl)
81 ia64_platform_free(0, (uintptr_t)ia64_pgtbl, ia64_pgtblsz);
83 ia64_pgtbl = pgtbl;
117 pte = ia64_pgtbl[idx];
126 ia64_pgtbl[id
[all...]
H A Dlibia64.h53 extern uint64_t *ia64_pgtbl;
H A Dbootinfo.c287 bi.bi_pbvm_pgtbl = (uintptr_t)ia64_pgtbl;
H A Dexec.c182 mmu_wire(IA64_PBVM_PGTBL, (uintptr_t)ia64_pgtbl,
/freebsd-10.3-release/sys/boot/ia64/efi/
H A Defimd.c242 printf("Page table @ %p, size %x\n", ia64_pgtbl, ia64_pgtblsz);
244 if (ia64_pgtbl == NULL)
250 while (ia64_pgtbl[idx] != 0) {
251 pg = ia64_pgtbl[idx];

Completed in 108 milliseconds