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 15 status_t 16 arch_cpu_preboot_init_percpu(kernel_args *args, int curr_cpu) 17 { 18 return B_OK; 19 } 20 21 22 status_t 23 arch_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 32 status_t 33 arch_cpu_init(kernel_args *args) 34 { 35 return B_OK; 36 } 37 38 39 status_t 40 arch_cpu_init_post_vm(kernel_args *args) 41 { 42 return B_OK; 43 } 44 45 46 status_t 47 arch_cpu_init_post_modules(kernel_args *args) 48 { 49 return B_OK; 50 } 51 52 53 void 54 arch_cpu_sync_icache(void *address, size_t len) 55 { 56 } 57 58 59 void 60 arch_cpu_memory_read_barrier(void) 61 { 62 } 63 64 65 void 66 arch_cpu_memory_write_barrier(void) 67 { 68 } 69 70 71 void 72 arch_cpu_invalidate_TLB_range(addr_t start, addr_t end) 73 { 74 } 75 76 77 void 78 arch_cpu_invalidate_TLB_list(addr_t pages[], int num_pages) 79 { 80 } 81 82 83 void 84 arch_cpu_global_TLB_invalidate(void) 85 { 86 } 87 88 89 void 90 arch_cpu_user_TLB_invalidate(void) 91 { 92 } 93 94 95 status_t 96 arch_cpu_shutdown(bool reboot) 97 { 98 return B_ERROR; 99 } 100