Type Alias sel4::cap::VCpu

pub type VCpu<C = NoExplicitInvocationContext> = Cap<VCpu, C>;

Aliased Type

struct VCpu<C = NoExplicitInvocationContext> { /* private fields */ }

Implementations

impl<C: InvocationContext> VCpu<C>

pub fn vcpu_set_tcb(self, tcb: Tcb) -> Result<()>

Corresponds to seL4_ARM_VCPU_SetTCB.

pub fn vcpu_read_regs(self, field: VCpuReg) -> Result<Word>

Corresponds to seL4_ARM_VCPU_ReadRegs.

pub fn vcpu_write_regs(self, field: VCpuReg, value: Word) -> Result<()>

Corresponds to seL4_ARM_VCPU_WriteRegs.

pub fn vcpu_ack_vppi(self, irq: Word) -> Result<()>

Corresponds to seL4_ARM_VCPU_AckVPPI.

pub fn vcpu_inject_irq( self, virq: u16, priority: u8, group: u8, index: u8 ) -> Result<()>

Corresponds to seL4_ARM_VCPU_InjectIRQ.