|
CS318 - Pintos
Pintos source browser for JHU CS318 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().
1.8.16