Searched refs:satp_reg (Results 1 – 1 of 1) sorted by relevance

/libcpu/risc-v/common64/
A D	asid.c	32 rt_uint64_t satp_reg = read_csr(satp); in rt_hw_asid_init() local 33 satp_reg |= (((rt_uint64_t)0xffff) << PPN_BITS); in rt_hw_asid_init() 34 write_csr(satp, satp_reg); in rt_hw_asid_init()

Completed in 1 milliseconds

Last Index update Fri Aug 22 02:45:11 CST 2025