AMDV1PT_FMT_NL_SIZE
AMDV1PT_FMT_NL_SIZE);
next_level == AMDV1PT_FMT_NL_SIZE)
AMDV1PT_FMT_NL_SIZE) |
if (FIELD_GET(AMDV1PT_FMT_NEXT_LEVEL, entry) == AMDV1PT_FMT_NL_SIZE) {