Searched refs:PAKernelL1Table (Results 1 – 3 of 3) sorted by relevance
43 uint32_t PAKernelL1Table; /* PA of kernel L1 table */ member
101 pde_pa = cpu_kh->PAKernelL1Table; in _kvm_kvatop()
155 cpuhdrp->PAKernelL1Table = pmap_kernel_L1_addr(); in cpu_dump()