132 lines
2.6 KiB
C
132 lines
2.6 KiB
C
#ifndef _KERNEL_PLATFORM_RISCV64_SYSTEM_H
|
|
#define _KERNEL_PLATFORM_RISCV64_SYSTEM_H
|
|
|
|
#include <libkern/c_attrs.h>
|
|
#include <libkern/types.h>
|
|
#include <platform/generic/registers.h>
|
|
|
|
/**
|
|
* INTS
|
|
*/
|
|
|
|
void system_disable_interrupts();
|
|
void system_enable_interrupts();
|
|
void system_enable_interrupts_only_counter();
|
|
|
|
inline static void system_instruction_barrier()
|
|
{
|
|
asm volatile("fence.i"
|
|
:
|
|
:
|
|
: "memory");
|
|
}
|
|
|
|
inline static void system_data_synchronise_barrier()
|
|
{
|
|
asm volatile("fence.i"
|
|
:
|
|
:
|
|
: "memory");
|
|
}
|
|
|
|
inline static void system_data_memory_barrier()
|
|
{
|
|
asm volatile("fence"
|
|
:
|
|
:
|
|
: "memory");
|
|
}
|
|
|
|
inline static void system_disable_interrupts_no_counter()
|
|
{
|
|
system_instruction_barrier();
|
|
asm volatile("csrc sstatus, 0x3");
|
|
system_instruction_barrier();
|
|
}
|
|
|
|
inline static void system_enable_interrupts_no_counter()
|
|
{
|
|
system_instruction_barrier();
|
|
asm volatile("csrs sstatus, 0x3");
|
|
system_instruction_barrier();
|
|
}
|
|
|
|
/**
|
|
* PAGING
|
|
*/
|
|
|
|
inline static void system_set_pdir(uintptr_t pdir0, uintptr_t pdir1)
|
|
{
|
|
system_data_synchronise_barrier();
|
|
asm volatile("csrw satp, %0"
|
|
:
|
|
: "r"((9L << 60) | (pdir0 >> 12)));
|
|
system_instruction_barrier();
|
|
}
|
|
|
|
inline static void system_flush_local_tlb_entry(uintptr_t vaddr)
|
|
{
|
|
asm volatile("sfence.vma %0, zero"
|
|
:
|
|
: "r"(vaddr)
|
|
: "memory");
|
|
}
|
|
|
|
inline static void system_flush_all_cpus_tlb_entry(uintptr_t vaddr)
|
|
{
|
|
asm volatile("sfence.vma %0, zero"
|
|
:
|
|
: "r"(vaddr)
|
|
: "memory");
|
|
}
|
|
|
|
inline static void system_flush_whole_tlb()
|
|
{
|
|
asm volatile("sfence.vma %0, zero"
|
|
:
|
|
: "r"(-1)
|
|
: "memory");
|
|
}
|
|
|
|
inline static void system_enable_write_protect()
|
|
{
|
|
}
|
|
|
|
inline static void system_disable_write_protect()
|
|
{
|
|
}
|
|
|
|
inline static void system_enable_paging()
|
|
{
|
|
}
|
|
|
|
inline static void system_disable_paging()
|
|
{
|
|
}
|
|
|
|
inline static void system_stop_until_interrupt()
|
|
{
|
|
asm volatile("wfi");
|
|
}
|
|
|
|
NORETURN inline static void system_stop()
|
|
{
|
|
system_disable_interrupts();
|
|
system_stop_until_interrupt();
|
|
while (1) { }
|
|
}
|
|
|
|
void system_cache_invalidate(void* addr, size_t size);
|
|
void system_cache_clean_and_invalidate(void* addr, size_t size);
|
|
void system_cache_clean(void* addr, size_t size);
|
|
|
|
/**
|
|
* CPU
|
|
*/
|
|
|
|
inline static int system_cpu_id()
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
#endif /* _KERNEL_PLATFORM_RISCV64_SYSTEM_H */ |