1/*
2 * Copyright 2019, Adrien Destugues, pulkomandy@pulkomandy.tk.
3 * Distributed under the terms of the MIT License.
4 */
5
6
7#include <KernelExport.h>
8
9#include <arch/cpu.h>
10#include <boot/kernel_args.h>
11#include <commpage.h>
12#include <elf.h>
13
14
15status_t
16arch_cpu_preboot_init_percpu(kernel_args *args, int curr_cpu)
17{
18	return B_OK;
19}
20
21
22status_t
23arch_cpu_init_percpu(kernel_args *args, int curr_cpu)
24{
25	//detect_cpu(curr_cpu);
26
27	// we only support one anyway...
28	return 0;
29}
30
31
32status_t
33arch_cpu_init(kernel_args *args)
34{
35	return B_OK;
36}
37
38
39status_t
40arch_cpu_init_post_vm(kernel_args *args)
41{
42	return B_OK;
43}
44
45
46status_t
47arch_cpu_init_post_modules(kernel_args *args)
48{
49	return B_OK;
50}
51
52
53void
54arch_cpu_sync_icache(void *address, size_t len)
55{
56}
57
58
59void
60arch_cpu_memory_read_barrier(void)
61{
62}
63
64
65void
66arch_cpu_memory_write_barrier(void)
67{
68}
69
70
71void
72arch_cpu_invalidate_TLB_range(addr_t start, addr_t end)
73{
74}
75
76
77void
78arch_cpu_invalidate_TLB_list(addr_t pages[], int num_pages)
79{
80}
81
82
83void
84arch_cpu_global_TLB_invalidate(void)
85{
86}
87
88
89void
90arch_cpu_user_TLB_invalidate(void)
91{
92}
93
94
95status_t
96arch_cpu_shutdown(bool reboot)
97{
98	return B_ERROR;
99}
100