9 int08(regcontext_t *REGS)
11 *(u_long *)&BIOSDATA[0x6c] += 1; /* ticks since midnight */
12 while (*(u_long *)&BIOSDATA[0x6c] >= 24*60*6*182) {
13 *(u_long *)&BIOSDATA[0x6c] -= 24*60*6*182;
14 BIOSDATA[0x70]++; /* # times past mn */
21 int1c(regcontext_t *REGS)
43 vec = insert_hardint_trampoline();
45 register_callback(vec, int08, "int 08");
47 vec = insert_softint_trampoline();
49 register_callback(vec, int1c, "int 1c");
51 define_input_port_handler(0x42, inb_timer);
52 define_input_port_handler(0x40, inb_timer);
54 /* Initialize time counter BIOS variable. */
55 gettimeofday(&tv, &tz);
57 tm = *localtime(&tv_sec);
58 *(u_long *)&BIOSDATA[0x6c] =
59 (((tm.tm_hour * 60 + tm.tm_min) * 60) + tm.tm_sec) * 182 / 10;
61 itv.it_interval.tv_sec = 0;
62 itv.it_interval.tv_usec = 54925; /* 1193182/65536 times per second */
63 itv.it_value.tv_sec = 0;
64 itv.it_value.tv_usec = 54925; /* 1193182/65536 times per second */
66 setitimer(ITIMER_REAL, &itv, 0);