Function sel4_sys::seL4_DebugPutChar

source ·
pub fn seL4_DebugPutChar(c: u8)