IsKernelPageAccessible
ARMPagingMethod32Bit::IsKernelPageAccessible(addr_t virtualAddress,
M68KPagingMethod040::IsKernelPageAccessible(addr_t virtualAddress,
PPCPagingMethod460::IsKernelPageAccessible(addr_t virtualAddress,
PPCPagingMethodClassic::IsKernelPageAccessible(addr_t virtualAddress,
X86PagingMethod32Bit::IsKernelPageAccessible(addr_t virtualAddress,
X86PagingMethod64Bit::IsKernelPageAccessible(addr_t virtualAddress,
X86PagingMethodPAE::IsKernelPageAccessible(addr_t virtualAddress,