Function sel4_sys::seL4_DebugPutChar

source ยท
pub fn seL4_DebugPutChar(c: u8)