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

/* Get the current working directory's path */
char *
getcwd(char *buf, size_t size)
{
	int ret;
	asm volatile("int $0x80" : "=a" (ret) : "0" (SYSCALL_GETCWD),
	             "c" (2), "S" (&buf));
	if ((char *) ret == buf)
		return (char *) ret;
	errno = -ret;
	return NULL;
}