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