Searched refs:enter_kernel_t (Results 1 – 1 of 1) sorted by relevance
25 extern "C" typedef void (*enter_kernel_t)(uint32_t, addr_t, addr_t, addr_t, typedef61 enter_kernel_t enter_kernel = (enter_kernel_t)0xa000; in arch_start_kernel()