ocsd_ex_level exception_level
const ocsd_ex_level getEL() const
void setVMID(const uint32_t id)
void set64bit(const bool is64bit)
void setCtxtID(const uint32_t id)
void setSecLevel(const ocsd_sec_level sl)
const uint32_t getCtxtID() const
OcsdPeContext & operator=(const OcsdPeContext &ctxt)
const bool ctxtIDvalid() const
const uint32_t getVMID() const
const ocsd_sec_level getSecLevel() const
const bool VMIDvalid() const
const bool ELvalid() const
void setEL(const ocsd_ex_level el)
ocsd_sec_level security_level
Handler for the ocsd_pe_context structure.