Searched refs:EPT_NT_NOT_REGISTERED (Results 1 – 2 of 2) sorted by relevance
1358 {EPT_NT_NOT_REGISTERED, -EIO, "EPT_NT_NOT_REGISTERED"},
1105 #define EPT_NT_NOT_REGISTERED cpu_to_le32(0xC0020036) macro