mwatch_kernel_api
pub extern "C" fn draw_pixel( context: *mut Context, x: u8, y: u8, colour: u16) -> i32