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