writef.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	writef (fd_t fd, const char *_RESTRICT format,...)
	Wrapper for writing a formatted string to a file.