Searched refs:save_kernel_info (Results 1 – 1 of 1) sorted by relevance
42 static void save_kernel_info(uint64_t pc, in save_kernel_info() function94 save_kernel_info(x1, x2, x3, x4); in boot_to_kernel()
Completed in 2 milliseconds