pintos-doxygen/html/stdio_8h_source.html

#ifndef __LIB_STDIO_H

#define __LIB_STDIO_H


#include <debug.h>

#include <stdarg.h>

#include <stdbool.h>

#include <stddef.h>

#include <stdint.h>


/** Include lib/user/stdio.h or lib/kernel/stdio.h, as

   appropriate. */

#include_next <stdio.h>


/** Predefined file handles. */

#define STDIN_FILENO 0

#define STDOUT_FILENO 1


/** Standard functions. */

int printf (const char *, ...) PRINTF_FORMAT (1, 2);

int snprintf (char *, size_t, const char *, ...) PRINTF_FORMAT (3, 4);

int vprintf (const char *, va_list) PRINTF_FORMAT (1, 0);

int vsnprintf (char *, size_t, const char *, va_list) PRINTF_FORMAT (3, 0);

int putchar (int);

int puts (const char *);


/** Nonstandard functions. */

void hex_dump (uintptr_t ofs, const void *, size_t size, bool ascii);

void print_human_readable_size (uint64_t sz);


/** Internal functions. */

void __vprintf (const char *format, va_list args,

                void (*output) (char, void *), void *aux);

void __printf (const char *format,

               void (*output) (char, void *), void *aux, ...);


/** Try to be helpful. */

#define sprintf dont_use_sprintf_use_snprintf

#define vsprintf dont_use_vsprintf_use_vsnprintf


#endif /**< lib/stdio.h */

debug.h

PRINTF_FORMAT
#define PRINTF_FORMAT(FMT, FIRST)
Definition: debug.h:10

stdarg.h

va_list
__builtin_va_list va_list
GCC has <stdarg.h> functionality as built-ins, so all we need is to use it.
Definition: stdarg.h:7

stdbool.h

stddef.h

stdint.h

uintptr_t
uint32_t uintptr_t
Definition: stdint.h:36

uint64_t
unsigned long long int uint64_t
Definition: stdint.h:29

__printf
void __printf(const char *format, void(*output)(char, void *), void *aux,...)
Wrapper for __vprintf() that converts varargs into a va_list.
Definition: stdio.c:577

putchar
int int int int int putchar(int)
Writes C to the vga display and serial port.
Definition: console.c:163

snprintf
int int snprintf(char *, size_t, const char *,...) PRINTF_FORMAT(3

vprintf
int int int vprintf(const char *, va_list) PRINTF_FORMAT(1

__vprintf
void __vprintf(const char *format, va_list args, void(*output)(char, void *), void *aux)
Internal functions.
Definition: stdio.c:157

hex_dump
void hex_dump(uintptr_t ofs, const void *, size_t size, bool ascii)
Nonstandard functions.
Definition: stdio.c:593

print_human_readable_size
void print_human_readable_size(uint64_t sz)
Prints SIZE, which represents a number of bytes, in a human-readable format, e.g.
Definition: stdio.c:642

printf
int printf(const char *,...) PRINTF_FORMAT(1
Standard functions.

vsnprintf
int int int int vsnprintf(char *, size_t, const char *, va_list) PRINTF_FORMAT(3

puts
int puts(const char *)
Writes string S to the console, followed by a new-line character.
Definition: console.c:140