Searched defs:kernCbase (Results 1 – 2 of 2) sorted by relevance
112 uint32_t kernCbase; /* VA of kernel level C page table */ member
235 static mmu_short_pte_t *kernCbase; variable