PKUOS - Pintos
Pintos source browser for PKU Operating System course
Data Fields
vhprintf_aux Struct Reference

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...
 

Detailed Description

Auxiliary data for vhprintf_helper().

Definition at line 49 of file console.c.

Field Documentation

◆ buf

char vhprintf_aux::buf[64]

Character buffer.

Definition at line 51 of file console.c.

Referenced by add_char(), flush(), and vhprintf().

◆ char_cnt

int vhprintf_aux::char_cnt

Total characters written so far.

Definition at line 53 of file console.c.

Referenced by add_char(), and vhprintf().

◆ handle

int vhprintf_aux::handle

Output file handle.

Definition at line 54 of file console.c.

Referenced by flush(), and vhprintf().

◆ p

char* vhprintf_aux::p

Current position in buffer.

Definition at line 52 of file console.c.

Referenced by add_char(), flush(), and vhprintf().


The documentation for this struct was generated from the following file: