agaw_to_level
level = agaw_to_level(ctx_entry->hi & 7);
level = agaw_to_level((pte->val[0] >> 2) & 0x7);