HelenOS sources

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);