arch_vm_translation_map_is_kernel_page_accessible
arch_vm_translation_map_is_kernel_page_accessible(addr_t virtualAddress,
arch_vm_translation_map_is_kernel_page_accessible(addr_t va, uint32 protection)
arch_vm_translation_map_is_kernel_page_accessible(addr_t virtualAddress,
arch_vm_translation_map_is_kernel_page_accessible(addr_t virtualAddress,
arch_vm_translation_map_is_kernel_page_accessible(addr_t virtualAddress,
arch_vm_translation_map_is_kernel_page_accessible(addr_t virtualAddress,
arch_vm_translation_map_is_kernel_page_accessible(addr_t virtualAddress,