sel4_sys

Type Alias seL4_UserContext

Source 
pub type seL4_UserContext = seL4_UserContext_;

Aliased Type§

struct seL4_UserContext {
Show 36 fields
    pub pc: u64,
    pub sp: u64,
    pub spsr: u64,
    pub x0: u64,
    pub x1: u64,
    pub x2: u64,
    pub x3: u64,
    pub x4: u64,
    pub x5: u64,
    pub x6: u64,
    pub x7: u64,
    pub x8: u64,
    pub x16: u64,
    pub x17: u64,
    pub x18: u64,
    pub x29: u64,
    pub x30: u64,
    pub x9: u64,
    pub x10: u64,
    pub x11: u64,
    pub x12: u64,
    pub x13: u64,
    pub x14: u64,
    pub x15: u64,
    pub x19: u64,
    pub x20: u64,
    pub x21: u64,
    pub x22: u64,
    pub x23: u64,
    pub x24: u64,
    pub x25: u64,
    pub x26: u64,
    pub x27: u64,
    pub x28: u64,
    pub tpidr_el0: u64,
    pub tpidrro_el0: u64,

}

Fields§

§pc: u64§sp: u64§spsr: u64§x0: u64§x1: u64§x2: u64§x3: u64§x4: u64§x5: u64§x6: u64§x7: u64§x8: u64§x16: u64§x17: u64§x18: u64§x29: u64§x30: u64§x9: u64§x10: u64§x11: u64§x12: u64§x13: u64§x14: u64§x15: u64§x19: u64§x20: u64§x21: u64§x22: u64§x23: u64§x24: u64§x25: u64§x26: u64§x27: u64§x28: u64§tpidr_el0: u64§tpidrro_el0: u64