Searched refs:hat_kernelbase (Results 1 – 2 of 2) sorted by relevance
256 extern uintptr_t hat_kernelbase(uintptr_t);
734 hat_kernelbase(uintptr_t va) in hat_kernelbase() function