write.c File Reference

#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
#include <sys/io.h>
#include "common/print.h"
#include "user/common/syscalls.h"

Go to the source code of this file.

Functions
uint64_t	write (fd_t fd, const void *buffer, uint64_t count)
	System call for writing to files.