sel4_sys::invocation_label

Constant CNodeSaveCaller

Source 
pub const CNodeSaveCaller: u32 = 24u32;