|
|
1.1 root 1: /*
2: * GRUB -- GRand Unified Bootloader
3: * Copyright (C) 2007 Free Software Foundation, Inc.
4: *
5: * GRUB is free software: you can redistribute it and/or modify
6: * it under the terms of the GNU General Public License as published by
7: * the Free Software Foundation, either version 3 of the License, or
8: * (at your option) any later version.
9: *
10: * GRUB is distributed in the hope that it will be useful,
11: * but WITHOUT ANY WARRANTY; without even the implied warranty of
12: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13: * GNU General Public License for more details.
14: *
15: * You should have received a copy of the GNU General Public License
16: * along with GRUB. If not, see <http://www.gnu.org/licenses/>.
17: */
18:
19: #ifndef KERNEL_CPU_TIME_HEADER
20: #define KERNEL_CPU_TIME_HEADER 1
21:
22: static __inline void
23: grub_cpu_idle (void)
24: {
25: /* FIXME: this can't work until we handle interrupts. */
26: /* __asm__ __volatile__ ("hlt"); */
27: }
28:
29: #endif /* ! KERNEL_CPU_TIME_HEADER */
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.