1 |
/* |
/* |
2 |
* GRUB -- GRand Unified Bootloader |
* GRUB -- GRand Unified Bootloader |
3 |
* Copyright (C) 2003 Marco Gerards <metgerards@student.han.nl> |
* Copyright (C) 2003,2004 Marco Gerards <metgerards@student.han.nl> |
4 |
* |
* |
5 |
* This program is free software; you can redistribute it and/or modify |
* This program is free software; you can redistribute it and/or modify |
6 |
* it under the terms of the GNU General Public License as published by |
* it under the terms of the GNU General Public License as published by |
20 |
#ifndef KERNEL_TIME_HEADER |
#ifndef KERNEL_TIME_HEADER |
21 |
#define KERNEL_TIME_HEADER 1 |
#define KERNEL_TIME_HEADER 1 |
22 |
|
|
23 |
|
#include <grub/symbol.h> |
24 |
|
|
25 |
#ifdef GRUB_UTIL |
#ifdef GRUB_UTIL |
26 |
# include <time.h> |
# include <time.h> |
27 |
# define GRUB_TICKS_PER_SECOND CLOCKS_PER_SEC |
# define GRUB_TICKS_PER_SECOND CLOCKS_PER_SEC |
30 |
#endif |
#endif |
31 |
|
|
32 |
/* Return the real time in ticks. */ |
/* Return the real time in ticks. */ |
33 |
grub_uint32_t grub_get_rtc (void); |
grub_uint32_t EXPORT_FUNC (grub_get_rtc) (void); |
34 |
|
|
35 |
#endif /* ! KERNEL_TIME_HEADER */ |
#endif /* ! KERNEL_TIME_HEADER */ |