diff options
Diffstat (limited to 'src/interface/efi/efi_timer.c')
-rw-r--r-- | src/interface/efi/efi_timer.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interface/efi/efi_timer.c b/src/interface/efi/efi_timer.c index b4e54a65..66211770 100644 --- a/src/interface/efi/efi_timer.c +++ b/src/interface/efi/efi_timer.c @@ -53,7 +53,7 @@ static void efi_udelay ( unsigned long usecs ) { EFI_STATUS efirc; if ( ( efirc = bs->Stall ( usecs ) ) != 0 ) { - DBG ( "EFI could not delay for %ldus: %lx\n", + DBG ( "EFI could not delay for %ldus: %x\n", usecs, efirc ); /* Probably screwed */ } @@ -71,7 +71,7 @@ static unsigned long efi_currticks ( void ) { /* Read CPU timer 0 (TSC) */ if ( ( efirc = cpu_arch->GetTimerValue ( cpu_arch, 0, &time, NULL ) ) != 0 ) { - DBG ( "EFI could not read CPU timer: %lx\n", efirc ); + DBG ( "EFI could not read CPU timer: %x\n", efirc ); /* Probably screwed */ return -1UL; } |