#include <lib.h>

void xxk_print(char *s)
{
	while(*s)
		xxk_putchar(*s++);
}

void xxk_print_hex(u32 num)
{
	int i;
	int n;

	for (i = (sizeof(num) * 8) - 4; i >= 0; i-=4) {
		n = (num >> i & 0xf);
		if (n >= 0 && n <= 9)
			xxk_putchar(n + '0');
		else if (n >= 0xa && n <= 0xf)
			xxk_putchar(n - 0xa + 'a');
		else
			xxk_putchar(' ');

	}
}

void xxk_print_hex32(u32 num)
{
	xxk_print("0x");
	xxk_print_hex(num);
}

void xxk_print_hex64(u64 num)
{
	xxk_print("0x");
	xxk_print_hex(num >> 32);
	xxk_print_hex(num & 0xffffffff);
}

void memcpy(void *dst, void *src, s32 size)
{
	int i;
	u8 *__dst = dst;
	u8 *__src = src;

	if (size < 0)
		return;

	for (i = 0; i < size; i++) {
		*(__dst++) = *(__src++);
	}

}