diff options
| -rw-r--r-- | src/boot/efi/util.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/boot/efi/util.c b/src/boot/efi/util.c index 4dd7c1efde..5e374edacf 100644 --- a/src/boot/efi/util.c +++ b/src/boot/efi/util.c @@ -39,6 +39,11 @@ UINT64 ticks_read(VOID) { __asm__ volatile ("rdtsc" : "=A" (val)); return val; } +#else +UINT64 ticks_read(VOID) { + UINT64 val = 1; + return val; +} #endif /* count TSC ticks during a millisecond delay */ |