pub type seL4_VCPUContext = seL4_VCPUContext_;Aliased Type§
#[repr(C)]pub struct seL4_VCPUContext {
pub eax: u64,
pub ebx: u64,
pub ecx: u64,
pub edx: u64,
pub esi: u64,
pub edi: u64,
pub ebp: u64,
}Fields§
§eax: u64§ebx: u64§ecx: u64§edx: u64§esi: u64§edi: u64§ebp: u64