SATP_PPN_SHIFT
#define SATP_PPN_MASK (0xfffffffffffULL << SATP_PPN_SHIFT)
#define SATP_PPN(satp) (((satp) & SATP_PPN_MASK) >> SATP_PPN_SHIFT)
#define SATP_FORMAT_PPN(ppn) (((uint64_t)(ppn) << SATP_PPN_SHIFT) & SATP_PPN_MASK)
((PPN(pt1pa) & SATP_PPN_MASK) << SATP_PPN_SHIFT);