#include <sys/syscall.h>
#include <time.h>
#include <errno.h>

/* Sleep for a specified time (milliseconds) */
int
sleep(uint32_t ms)
{
	int ret;
	asm volatile("int $0x80" : "=a" (ret) : "0" (SYSCALL_SLEEP),
	             "c" (1), "S" (&ms));
	if (ret >= 0)
		return ret;
	errno = -ret;
	return -1;
}