debug_is_kernel_memory_accessible
extern bool debug_is_kernel_memory_accessible(addr_t address, size_t size,
} else if (!debug_is_kernel_memory_accessible((addr_t)thread,
if (debug_is_kernel_memory_accessible((addr_t)thread->team,