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