PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Auxiliary data for vsnprintf_helper(). More...
Data Fields | |
char * | p |
Current output position. More... | |
int | length |
Length of output string. More... | |
int | max_length |
Max length of output string. More... | |
Auxiliary data for vsnprintf_helper().
int vsnprintf_aux::length |
Length of output string.
Definition at line 12 of file stdio.c.
Referenced by vsnprintf(), and vsnprintf_helper().
int vsnprintf_aux::max_length |
Max length of output string.
Definition at line 13 of file stdio.c.
Referenced by vsnprintf(), and vsnprintf_helper().
char* vsnprintf_aux::p |
Current output position.
Definition at line 11 of file stdio.c.
Referenced by vsnprintf(), and vsnprintf_helper().