kernel/arch/cpu: implement for riscv64

Change-Id: Ib4dd636f9ebb62931f77c809185ea810485d801e
Reviewed-on: https://review.haiku-os.org/c/haiku/+/4057
Reviewed-by: Alex von Gluck IV <[email protected]>
This commit is contained in:
X512
2021-08-06 15:41:33 +00:00
committed by Alex von Gluck IV
parent 62790afc9d
commit d031c09ceb
4 changed files with 76 additions and 9 deletions
@@ -12,24 +12,23 @@
static inline void static inline void
memory_read_barrier_inline(void) memory_read_barrier_inline(void)
{ {
asm volatile ("nop;" : : : "memory"); // TODO: investigate reparate read/write barriers
#warning RISCV64: check memory_read_barrier_inline (FNOP ?) __sync_synchronize();
} }
static inline void static inline void
memory_write_barrier_inline(void) memory_write_barrier_inline(void)
{ {
asm volatile ("nop;" : : : "memory"); // TODO: investigate reparate read/write barriers
#warning RISCV64: check memory_write_barrier_inline (FNOP ?) __sync_synchronize();
} }
static inline void static inline void
memory_full_barrier_inline(void) memory_full_barrier_inline(void)
{ {
asm volatile ("nop;" : : : "memory"); __sync_synchronize();
#warning RISCV64: check memory_full_barrier_inline (FNOP ?)
} }
+31 -3
View File
@@ -8,6 +8,7 @@
#include <arch/riscv64/arch_thread_types.h> #include <arch/riscv64/arch_thread_types.h>
#include <arch_cpu_defs.h>
#include <kernel.h> #include <kernel.h>
@@ -15,8 +16,32 @@
#define CACHE_LINE_SIZE 64 #define CACHE_LINE_SIZE 64
#define set_ac() static inline bool
#define clear_ac() get_ac()
{
SstatusReg status(Sstatus());
return status.sum != 0;
}
static inline void
set_ac()
{
// TODO: Could be done atomically via CSRRS?
SstatusReg status(Sstatus());
status.sum = 1;
SetSstatus(status.val);
}
static inline void
clear_ac()
{
// TODO: Could be done atomically with CSRRC?
SstatusReg status(Sstatus());
status.sum = 0;
SetSstatus(status.val);
}
typedef struct arch_cpu_info { typedef struct arch_cpu_info {
@@ -29,6 +54,9 @@ extern "C" {
#endif #endif
void __riscv64_setup_system_time(uint64 conversionFactor);
static inline void static inline void
arch_cpu_pause(void) arch_cpu_pause(void)
{ {
@@ -39,7 +67,7 @@ arch_cpu_pause(void)
static inline void static inline void
arch_cpu_idle(void) arch_cpu_idle(void)
{ {
// TODO: CPU idle call Wfi();
} }
@@ -8,9 +8,24 @@
#include <boot/menu.h> #include <boot/menu.h>
#ifdef __riscv
struct CpuInfo {
uint32 id;
};
void arch_smp_register_cpu(CpuInfo** cpu);
#endif
int arch_smp_get_current_cpu(void); int arch_smp_get_current_cpu(void);
void arch_smp_init_other_cpus(void); void arch_smp_init_other_cpus(void);
#ifdef __riscv
void arch_smp_boot_other_cpus(uint64 satp, uint64 kernel_entry);
#else
void arch_smp_boot_other_cpus(uint32 pml4, uint64 kernel_entry); void arch_smp_boot_other_cpus(uint32 pml4, uint64 kernel_entry);
#endif
void arch_smp_add_safemode_menus(Menu *menu); void arch_smp_add_safemode_menus(Menu *menu);
void arch_smp_init(void); void arch_smp_init(void);
@@ -8,8 +8,15 @@
#include <arch/cpu.h> #include <arch/cpu.h>
#include <boot/kernel_args.h> #include <boot/kernel_args.h>
#include <vm/VMAddressSpace.h>
#include <commpage.h> #include <commpage.h>
#include <elf.h> #include <elf.h>
#include <Htif.h>
#include <platform/sbi/sbi_syscalls.h>
extern uint32 gPlatform1;
extern uint32 gPlatform2;
status_t status_t
@@ -32,6 +39,12 @@ arch_cpu_init_percpu(kernel_args *args, int curr_cpu)
status_t status_t
arch_cpu_init(kernel_args *args) arch_cpu_init(kernel_args *args)
{ {
/*
uint64 conversionFactor
= (1LL << 32) * 1000000LL / args->arch_args.timerFrequrency;
__riscv64_setup_system_time(conversionFactor);
*/
return B_OK; return B_OK;
} }
@@ -39,6 +52,11 @@ arch_cpu_init(kernel_args *args)
status_t status_t
arch_cpu_init_post_vm(kernel_args *args) arch_cpu_init_post_vm(kernel_args *args)
{ {
// Set address space ownership to currently running threads
for (uint32 i = 0; i < args->num_cpus; i++) {
VMAddressSpace::Kernel()->Get();
}
return B_OK; return B_OK;
} }
@@ -95,5 +113,12 @@ arch_cpu_user_TLB_invalidate(void)
status_t status_t
arch_cpu_shutdown(bool reboot) arch_cpu_shutdown(bool reboot)
{ {
if (gPlatform1 == kPlatform1Sbi) {
sbi_system_reset(
reboot ? SBI_RESET_TYPE_COLD_REBOOT : SBI_RESET_TYPE_SHUTDOWN,
SBI_RESET_REASON_NONE);
}
HtifShutdown();
return B_ERROR; return B_ERROR;
} }