taglinefilesource code
LATCH493kernel/sched.coutb_p(LATCH & 0xff , 0x40);  /* LSB */
LATCH494kernel/sched.coutb(LATCH >> 8 , 0x40);  /* MSB */