PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Auxiliary data for vhprintf_helper(). More...
Data Fields | |
char | buf [64] |
Character buffer. More... | |
char * | p |
Current position in buffer. More... | |
int | char_cnt |
Total characters written so far. More... | |
int | handle |
Output file handle. More... | |
char vhprintf_aux::buf[64] |
Character buffer.
Definition at line 51 of file console.c.
Referenced by add_char(), flush(), and vhprintf().
int vhprintf_aux::char_cnt |
Total characters written so far.
Definition at line 53 of file console.c.
Referenced by add_char(), and vhprintf().
int vhprintf_aux::handle |
char* vhprintf_aux::p |
Current position in buffer.
Definition at line 52 of file console.c.
Referenced by add_char(), flush(), and vhprintf().