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
15void lk_main(void) __NO_RETURN __EXTERNALLY_VISIBLE;
16
17void lk_secondary_cpu_entry(void);
18void lk_init_secondary_cpus(uint secondary_cpu_count);
19
20__END_CDECLS
21