~ubuntu-branches/debian/sid/grub2/sid-200907171834

« back to all changes in this revision

Viewing changes to include/grub/time.h

  • Committer: Bazaar Package Importer
  • Author(s): Robert Millan, Updated translations, Robert Millan
  • Date: 2008-11-10 16:18:14 UTC
  • mfrom: (1.1.11 upstream)
  • Revision ID: james.westby@ubuntu.com-20081110161814-1ltb13avouqapmlh
Tags: 1.96+20080724-12
[ Updated translations ]
* Italian (it.po) by Luca Monducci. (Closes: #504076)
* Swedish (sv.po) by Martin Ågren. (Closes: #504207)
* Arabic (ar.po) by Ossama Khayat. (Closes: #504254)
* Portuguese (pt.po) by Miguel Figueiredo. (Closes: #504280)
* Russian (ru.po) by Yuri Kozlov. (Closes: #504324)
* Finnish (fi.po) by Esko Arajärvi. (Closes: #504310)
* Basque (eu.po) by Piarres Beobide. (Closes: #504466)
* Dutch (nl.po) by Paul Gevers. (Closes: #504683)

[ Robert Millan ]
* Update to new debian theme.
  - grub-pc.postinst: Switch to moreblue-orbit-grub.png.
  - grub.d/05_debian_theme: Likewise.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
1
/*
2
2
 *  GRUB  --  GRand Unified Bootloader
3
 
 *  Copyright (C) 2007, 2008  Free Software Foundation, Inc.
 
3
 *  Copyright (C) 2007  Free Software Foundation, Inc.
4
4
 *
5
5
 *  GRUB is free software: you can redistribute it and/or modify
6
6
 *  it under the terms of the GNU General Public License as published by
19
19
#ifndef KERNEL_TIME_HEADER
20
20
#define KERNEL_TIME_HEADER      1
21
21
 
22
 
#include <grub/types.h>
23
22
#include <grub/symbol.h>
24
23
#include <grub/machine/time.h>
25
24
#include <grub/cpu/time.h>
26
25
 
27
26
void EXPORT_FUNC(grub_millisleep) (grub_uint32_t ms);
28
 
grub_uint64_t EXPORT_FUNC(grub_get_time_ms) (void);
29
 
 
30
 
grub_uint64_t grub_rtc_get_time_ms (void);
 
27
void EXPORT_FUNC(grub_millisleep_generic) (grub_uint32_t ms);
31
28
 
32
29
static __inline void
33
30
grub_sleep (grub_uint32_t s)
35
32
  grub_millisleep (1000 * s);
36
33
}
37
34
 
38
 
void grub_install_get_time_ms (grub_uint64_t (*get_time_ms_func) (void));
39
 
 
40
35
#endif /* ! KERNEL_TIME_HEADER */