* SAMPLE * ToDo: - Fix order of arguments (output <- input, or input -> output) - Fix type of arguments/return value (signed or unsigned, int or short, etc.) - And more... ; @@@ unsigned int mikeos_bcd_to_int(unsigned char value); ; @@@ unsigned int mikeos_check_for_key(void); ; @@@ void mikeos_clear_screen(void); ; @@@ unsigned int mikeos_dialog_box(char *message1, char *message2, char *message3, unsigned int buttons); ; @@@ void mikeos_draw_background(char *message1, char *message2, unsigned int colour); ; @@@ void mikeos_dump_registers(void); ; @@@ void mikeos_dump_string(char *string); ; @@@ void mikeos_fatal_error(char *message); ; @@@ char *mikeos_file_selector(void); ; @@@ char *mikeos_find_char_in_string(char *string, char character); ; @@@ unsigned char mikeos_get_api_version(void); ; @@@ void mikeos_get_cursor_pos(unsigned char *row, unsigned char *column); ; @@@ void mikeos_get_date_string(char *buf); ; @@@ void mikeos_get_file_list(char *buf); ; @@@ void mikeos_get_int_handler(unsigned int vector, unsigned int *offset, unsigned int *segment); ; @@@ void mikeos_get_time_string(char *buf); ; @@@ int mikeos_get_via_serial(void); ; @@@ void mikeos_hide_cursor(void); ; @@@ void mikeos_input_string(char *buf); ; @@@ void mikeos_int_to_string(char *buf, unsigned int value); ; @@@ int mikeos_load_file(char *buf, char *filename); ; @@@ void mikeos_long_int_negate(long value); ; @@@ void mikeos_long_int_to_string(char *buf, unsigned long value, unsigned int base); ; @@@ void mikeos_modify_int_handler(unsigned int vector, void *handler); ; @@@ void mikeos_move_cursor(unsigned char row, unsigned char column); ; @@@ void mikeos_pause(unsigned long microseconds); ; @@@ void mikeos_print_1hex(unsigned char value); ; @@@ void mikeos_print_2hex(unsigned char value); ; @@@ void mikeos_print_4hex(unsigned int value); ; @@@ void mikeos_print_digit(unsigned char value); ; @@@ void mikeos_print_horiz_line(unsigned int style); ; @@@ void mikeos_print_newline(void); ; @@@ void mikeos_print_space(void); ; @@@ void mikeos_print_string(char *message); ; @@@ int mikeos_send_via_serial(unsigned char octet); ; @@@ unsigned int mikeos_set_date_fmt(unsigned int format); ; @@@ unsigned int mikeos_set_time_fmt(unsigned char format); ; @@@ void mikeos_show_cursor(void); ; @@@ void mikeos_speaker_off(void); ; @@@ void mikeos_speaker_tone(unsigned int frequency); ; @@@ void mikeos_string_chomp(char *string); ; @@@ int mikeos_string_compare(char *string1, char *string2); ; @@@ void mikeos_string_copy(char *destination, char *source); ; @@@ void mikeos_string_join(char *destination, char *source1, char *source2); ; @@@ unsigned int mikeos_string_length(char *string); ; @@@ void mikeos_string_lowercase(char *string); ; @@@ void mikeos_string_strip(char *string, char character); ; @@@ void mikeos_string_truncate(char *string, unsigned int length); ; @@@ void mikeos_string_uppercase(char *string); ; @@@ unsigned int mikeos_wait_for_key(void);