Searched refs:satp_v (Results 1 – 1 of 1) sorted by relevance
74 rt_ubase_t satp_v = read_csr(satp); in dump_regs() local75 rt_kprintf("satp = %p\n", satp_v); in dump_regs()77 __MASKVALUE(satp_v, __MASK(44)) << PAGE_OFFSET_BIT); in dump_regs()78 rt_kprintf("\tCurrent ASID = %p\n", __MASKVALUE(satp_v >> 44, __MASK(16)) in dump_regs()82 switch (__MASKVALUE(satp_v >> 60, __MASK(4))) in dump_regs()
Completed in 3 milliseconds