MMU_TTE_V
uint64_t attr = MMU_TTE_V;
if (*tte_addr & MMU_TTE_V) {
#define MMU_TTE_VALID(tte) (((tte) & MMU_TTE_V) == MMU_TTE_V)