taglinefilesource code
pg0859drivers/char/keyboard.cextern unsigned long pg0[1024];
pg0863drivers/char/keyboard.cpg0[0] = 7;
pg051mm/memory.cextern unsigned long pg0[1024];    /* page table for 0-4MB for everybody */
pg0914mm/memory.cpg0[0] = PAGE_SHARED;
pg0920mm/memory.cpg0[0] = PAGE_SHARED;
pg01120mm/memory.cpg0[0] = PAGE_READONLY;
pg01123mm/memory.cpg0[0] = 0;