1 2 3 4 5 6 7 8 9
#include "platform.h" #include "arm_builtins.h" #include <stdint.h> #include "smc.h" void el1_init_el0() { __smc(SMC_YIELD); }