Home
last modified time | relevance | path

Searched refs:boot_to_kernel (Results 1 – 3 of 3) sorted by relevance

/external/arm-trusted-firmware/plat/mediatek/common/
Dmtk_plat_common.h74 void boot_to_kernel(uint64_t x1, uint64_t x2, uint64_t x3, uint64_t x4);
Dmtk_sip_svc.c74 boot_to_kernel(x1, x2, x3, x4); in mediatek_sip_handler()
Dmtk_plat_common.c84 void boot_to_kernel(uint64_t x1, uint64_t x2, uint64_t x3, uint64_t x4) in boot_to_kernel() function