Searched defs:kern_l1pt (Results 1 - 2 of 2) sorted by relevance
| /openbsd-current/sys/arch/riscv64/include/ | ||
| H A D | bootconfig.h | 41 vaddr_t kern_l1pt; /* L1 page table for the kernel */ member in struct:riscv_bootparams |
| /openbsd-current/sys/arch/arm64/include/ | ||
| H A D | bootconfig.h | 37 vaddr_t kern_l1pt; /* L1 page table for the kernel */ member in struct:arm64_bootparams |
Completed in 201 milliseconds