#ifndef __KSTDLIB_H__
#define __KSTDLIB_H__

#include "types.h"

void *kmemcpy(void* Destination, const void *Source, u64 Count);
void *kmemset(void *Destination, u8 Value, u64 Count);
void *kmemsetw(void *Destination, u16 Value, u64 Count);

#endif