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