Searched refs:GUEST_PGTABLE_4_LEVEL (Results 1 – 3 of 3) sorted by relevance
43 if (gpt_level != GUEST_PGTABLE_4_LEVEL && in validate_gdte_nested()
352 #define GUEST_PGTABLE_4_LEVEL 0x00 macro
2100 new->data[2] |= FIELD_PREP(DTE_GPT_LEVEL_MASK, GUEST_PGTABLE_4_LEVEL); in set_dte_gcr3_table()