Searched refs:boot_to_kernel (Results 1 – 3 of 3) sorted by relevance
74 void boot_to_kernel(uint64_t x1, uint64_t x2, uint64_t x3, uint64_t x4);
74 boot_to_kernel(x1, x2, x3, x4); in mediatek_sip_handler()
84 void boot_to_kernel(uint64_t x1, uint64_t x2, uint64_t x3, uint64_t x4) in boot_to_kernel() function