b0259117f2
2. Use time.h for get_time() and move tb_freq into functions.c 3. Move read_io and write_io to io.c and make them static 4. Make a couple of functions static in interrupt.c 5. Refactor a cast from char[] to u64 to get rid of potential alignment problems and a warning Signed-off-by: Myles Watson <mylesgw@gmail.com> Acked-by: Stefan Reinauer <stepan@coresystems.de> git-svn-id: svn://svn.coreboot.org/coreboot/trunk@5191 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
18 lines
625 B
C
18 lines
625 B
C
/****************************************************************************
|
|
* YABEL BIOS Emulator
|
|
*
|
|
* This program and the accompanying materials
|
|
* are made available under the terms of the BSD License
|
|
* which accompanies this distribution, and is available at
|
|
* http://www.opensource.org/licenses/bsd-license.php
|
|
*
|
|
* Copyright (c) 2008 Pattrick Hueper <phueper@hueper.net>
|
|
****************************************************************************/
|
|
|
|
#ifndef _BIOSEMU_COMPAT_TIME_H
|
|
#define _BIOSEMU_COMPAT_TIME_H
|
|
|
|
/* TODO: check how this works in x86 */
|
|
extern unsigned long tb_freq;
|
|
u64 get_time(void);
|
|
#endif
|