2
* Copyright (C) 2008 Michael Brown <mbrown@fensystems.co.uk>.
4
* This program is free software; you can redistribute it and/or
5
* modify it under the terms of the GNU General Public License as
6
* published by the Free Software Foundation; either version 2 of the
7
* License, or any later version.
9
* This program is distributed in the hope that it will be useful, but
10
* WITHOUT ANY WARRANTY; without even the implied warranty of
11
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12
* General Public License for more details.
14
* You should have received a copy of the GNU General Public License
15
* along with this program; if not, write to the Free Software
16
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
19
* You can also choose to distribute this program under the terms of
20
* the Unmodified Binary Distribution Licence (as given in the file
21
* COPYING.UBDL), provided that you have satisfied its requirements.
24
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
32
#include <ipxe/timer.h>
37
* Get current system time in ticks
39
* @ret ticks Current time, in ticks
41
* Use direct memory access to BIOS variables, longword 0040:006C
42
* (ticks today) and byte 0040:0070 (midnight crossover flag) instead
43
* of calling timeofday BIOS interrupt.
45
static unsigned long bios_currticks ( void ) {
50
/* Re-enable interrupts so that the timer interrupt can occur */
51
__asm__ __volatile__ ( "sti\n\t"
56
get_real ( ticks, BDA_SEG, 0x006c );
57
get_real ( midnight, BDA_SEG, 0x0070 );
61
put_real ( midnight, BDA_SEG, 0x0070 );
65
return ( days + ticks );
68
PROVIDE_TIMER_INLINE ( pcbios, udelay );
69
PROVIDE_TIMER ( pcbios, currticks, bios_currticks );
70
PROVIDE_TIMER_INLINE ( pcbios, ticks_per_sec );