Function sel4_common::sbi::console_getchar

source · 
pub fn console_getchar() -> usize