kernel/include/kprint.h

   1 #ifndef KPRINT_H
   2 #define KPRINT_H
   3
   4 #include <stdint.h>
   5 #include <tty.h>
   6
   7 extern void tty_initialize();
   8 extern void kprint(const char *string, const enum vga_color fg, const enum vga_color bg);
   9 extern void kprintc(const char character, const enum vga_color fg, const enum vga_color bg);
  10 extern void kprintnibble(uint8_t nibble);
  11 extern void kprintb(const uint8_t byte, const int print_delm);
  12 extern void kprintw(const uint16_t word, const int print_delm);
  13 extern void kprintd(const uint32_t dword, const int print_delm);
  14 extern void kprintq(const uint64_t qword, const int print_delm);
  15 extern int kprintdec(uint32_t num, const enum vga_color fg, const enum vga_color bg);
  16
  17 #endif