Function sel4::debug_put_char

source · 
pub fn debug_put_char(c: u8)
Expand description

Corresponds to seL4_DebugPutChar.