#pragma once

#include "drivers/framebuffer.hpp"

/// @brief Current active framebuffer driver
extern void (*__putchar)(char);

/**
 * Print a char* in the framebuffer
 */
void printk(char *,...);

/**
 * Print a char*
 */
void print(char *s);

/**
 * Print a char in the framebuffer
 */
void printc(char *, VIDEO_COLORS c);

/**
 * Print an integer using itoa()
 */
void printi(int i);

/**
 * Print an integer as hex using itoh()
 */
void printh(int h);

/**
 * Print an integer as hex using itoh() truncated to size
 */
void printh(int h, u32 size);