write_satp 101 kernel/arch/riscv64/include/arch/mm/page.h (write_satp((uintptr_t) (ptl0))) write_satp 216 kernel/arch/riscv64/include/arch/mm/page.h extern void write_satp(uintptr_t); write_satp 70 kernel/arch/riscv64/src/mm/page.c write_satp((uintptr_t) AS_KERNEL->genarch.page_table);HelenOS homepage, sources at GitHub