Vladimir 'phcoder' Serbinenko 7216a1bff3 Set EFI ticks to 1000Hz simplifying much of the code and avoiding cotsly division		2011-05-08 17:05:47 +02:00
..
efi.c	Set EFI ticks to 1000Hz simplifying much of the code and avoiding cotsly division	2011-05-08 17:05:47 +02:00
init.c	* grub-core/kern/efi/init.c (grub_efi_set_prefix): If the prefix	2010-09-08 13:53:47 +01:00
mm.c	Remove dead grub_efi_mm_fini.	2010-10-16 17:50:48 +02:00