| /**************************************************************************** |
| * 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 |
