d8/dd2/writef_8c_source.html

#include <stdarg.h>

#include <stdio.h>

#include <stdlib.h>

#include <sys/io.h>


#include "common/print.h"

#include "user/common/syscalls.h"


uint64_t writef(fd_t fd, const char* _RESTRICT format, ...)

{

    va_list args;

    va_start(args, format);

    uint64_t result = vwritef(fd, format, args);

    va_end(args);

    return result;

}


writef
uint64_t writef(fd_t fd, const char *_RESTRICT format,...)
Wrapper for writing a formatted string to a file.
Definition writef.c:9

vwritef
uint64_t vwritef(fd_t fd, const char *_RESTRICT format, va_list args)
Wrapper for writing a formatted string to a file with a va_list.
Definition vwritef.c:6

fd_t
__UINT64_TYPE__ fd_t
A file descriptor.
Definition fd_t.h:12

io.h

_RESTRICT
#define _RESTRICT
Definition config.h:17

print.h

syscalls.h

stdarg.h

va_start
#define va_start(ap, parmN)
Definition stdarg.h:14

va_end
#define va_end(ap)
Definition stdarg.h:13

va_list
__builtin_va_list va_list
Definition stdarg.h:9

uint64_t
__UINT64_TYPE__ uint64_t
Definition stdint.h:17

stdio.h

stdlib.h