|
|
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.