sel4_sys

Function seL4_DebugPutChar

Source
pub fn seL4_DebugPutChar(c: u8)