1 #pragma once
2 
3 #include <compiler.h>
4 #include <sys/types.h>
5 
6 
7 void lk_main(ulong arg0, ulong arg1, ulong arg2, ulong arg3) __NO_RETURN __EXTERNALLY_VISIBLE;
8 void lk_secondary_cpu_entry(void);
9 void lk_init_secondary_cpus(uint secondary_cpu_count);
10