Function mynewt::sys::console::printint

pub fn printint(v: i32)

Write an int to the output buffer. C API: void console_printint(int i)