#include <unistd.h>
#include <syscall.h>
#include <syscall_nums.h>

DEFN_SYSCALL2(sleep,  SYS_SLEEP, unsigned long, unsigned long);

int usleep(useconds_t usec) {
	syscall_sleep((usec / 10000) / 1000, (usec / 10000) % 1000);
	return 0;
}