SATP_ASID
const register_t test = satp | SATP_ASID;
const register_t ret = __SHIFTOUT(csr_satp_read(), SATP_ASID);
__SHIFTIN(asid, SATP_ASID) |
#define PMAP_TLB_NUM_PIDS (__SHIFTOUT_MASK(SATP_ASID) + 1)
return __SHIFTOUT(satp, SATP_ASID);
satp &= ~SATP_ASID;
satp |= __SHIFTIN(asid, SATP_ASID);