Searched refs:gpt_level (Results 1 – 1 of 1) sorted by relevance
27 u32 gpt_level = FIELD_GET(DTE_GPT_LEVEL_MASK, gdte->dte[2]); in validate_gdte_nested() local43 if (gpt_level != GUEST_PGTABLE_4_LEVEL && in validate_gdte_nested()44 gpt_level != GUEST_PGTABLE_5_LEVEL) in validate_gdte_nested()55 if (gpt_level == GUEST_PGTABLE_5_LEVEL && in validate_gdte_nested()