PrintInt
===

void
ConsoleOutput::PutInt(int num)
{
    ASSERT(putBusy == FALSE);
    char str[13];
    int size = sprintf(str, "%d\n", num);
    WriteFile(writeFileNo, str, size);
    putBusy = TRUE;
    kernel->interrupt->Schedule(this, ConsoleTime, ConsoleWriteInt);
}