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

/* Read from a file */
int
read(int fd, void *buf, size_t count)
{
	int ret;
	asm volatile("int $0x80" : "=a" (ret) : "0" (SYSCALL_READ),
	             "c" (3), "S" (&fd));
	if (ret >= 0)
		return ret;
	errno = -ret;
	return -1;
}