Symbol: SATP_ASID
sys/arch/riscv/include/sysreg.h
313
#define SATP_ASID __BITS(59, 44) // Address Space Identifier
sys/arch/riscv/include/sysreg.h
319
#define SATP_ASID __BITS(30, 22) // Address Space Identifier