59 void setCtxtID(
const uint32_t
id) { m_context.context_id = id; m_context.ctxt_id_valid = 1; };
60 void setVMID(
const uint32_t
id) { m_context.vmid = id; m_context.vmid_valid = 1; };
61 void set64bit(
const bool is64bit) { m_context.bits64 = is64bit ? 1 : 0; };
65 const bool ELvalid()
const {
return (m_context.el_valid == 1); };
66 const uint32_t
getCtxtID()
const {
return (m_context.ctxt_id_valid == 1) ? m_context.context_id : 0; };
67 const bool ctxtIDvalid()
const {
return (m_context.ctxt_id_valid == 1); };
68 const uint32_t
getVMID()
const {
return (m_context.vmid_valid == 1) ? m_context.vmid : 0; };
69 const bool VMIDvalid()
const {
return (m_context.vmid_valid == 1); };
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