vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

2008-08-07 Bean <bean123ch@gmail.com>

Browse source 
* conf/x86_64-efi.rmk (kernel_mod_SOURCES): Add kern/time.c,
	kern/i386/tsc.c and kern/i386/pit.c.

	* include/grub/i386/tsc.h (grub_cpu_is_cpuid_supported): Handle
	x86_64 platform.

	* kern/i386/efi/init.c: Replace <grub/cpu/tsc.h> with
	<grub/i386/tsc.h>.

	* kern/i386/pit.c: Replace <grub/cpu/io.h> with <grub/i386/io.h>.
This commit is contained in:
bean 2008-08-07 19:21:25 +00:00
parent 1a6cac8921
commit 5ebc275d6f
6 changed files with 107 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
kern/i386/efi/init.c
View file

@ -25,7 +25,7 @@
#include <grub/cache.h>
#include <grub/kernel.h>
#include <grub/efi/efi.h>
#include <grub/cpu/tsc.h>
#include <grub/i386/tsc.h>
void
grub_machine_init (void)