seL4_DebugPutChar

Function seL4_DebugPutChar 

Source
pub fn seL4_DebugPutChar(c: u8)