1 // Copyright 2016 The Fuchsia Authors
2 //
3 // Use of this source code is governed by a MIT-style
4 // license that can be found in the LICENSE file or at
5 // https://opensource.org/licenses/MIT
6 
7 #pragma once
8 
9 #include <sys/types.h>
10 #include <zircon/compiler.h>
11 
12 __BEGIN_CDECLS
13 
14 // main entry point from boot assembly
15 void lk_main(void) __NO_RETURN __EXTERNALLY_VISIBLE;
16 
17 void lk_secondary_cpu_entry(void);
18 void lk_init_secondary_cpus(uint secondary_cpu_count);
19 
20 __END_CDECLS
21