/* Writes formatted output to the console.
In the kernel, the console is both the video display and first
serial port.
/* Writes formatted output to the console.
In the kernel, the console is both the video display and first
serial port.
auxiliary data AUX. The integer converted has absolute value
VALUE. If IS_SIGNED is true, does a signed conversion with
NEGATIVE indicating a negative value; otherwise does an
auxiliary data AUX. The integer converted has absolute value
VALUE. If IS_SIGNED is true, does a signed conversion with
NEGATIVE indicating a negative value; otherwise does an