main kernel startup, libc, console tty, asmops, build flags fixes
[bootcensus] / src / libc / stdarg.h
1 #ifndef STDARG_H_
2 #define STDARG_H_
3
4 /* Assumes that arguments are passed on the stack 4-byte aligned */
5
6 typedef int* va_list;
7
8 #define va_start(ap, last)      ((ap) = (int*)&(last) + 1)
9 #define va_arg(ap, type)        (*(type*)(ap)++)
10 #define va_end(ap)
11
12 #endif  /* STDARG_H_ */