ENCLS_TRAPNR
return ENCLS_TRAPNR(ret) != X86_TRAP_PF;
if (!encls_faulted(ret) || ENCLS_TRAPNR(ret) != X86_TRAP_PF) {
ENCLS_TRAPNR(ret));
ENCLS_TRAPNR(ret));
ENCLS_TRAPNR(ret) != X86_TRAP_GP);
*trapnr = ENCLS_TRAPNR(ret);
*trapnr = ENCLS_TRAPNR(ret);