SATP_ASID_SHIFT
#define SATP_ASID_MASK (0xffffULL << SATP_ASID_SHIFT)
#define SATP_ASID(satp) (((satp) & SATP_ASID_MASK) >> SATP_ASID_SHIFT)
#define SATP_FORMAT_ASID(asid) (((uint64_t)(asid) << SATP_ASID_SHIFT) & SATP_ASID_MASK)