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