1 files changed, 0 insertions, 29 deletions
diff --git a/qemu/roms/ipxe/src/arch/x86_64/include/bits/profile.h b/qemu/roms/ipxe/src/arch/x86_64/include/bits/profile.h
deleted file mode 100644
index b7c74fbe7..000000000
--- a/qemu/roms/ipxe/src/arch/x86_64/include/bits/profile.h
+++ /dev/null
@@ -1,29 +0,0 @@
-#ifndef _BITS_PROFILE_H
-#define _BITS_PROFILE_H
-
-/** @file
- *
- * Profiling
- *
- */
-
-FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
-
-#include <stdint.h>
-
-/**
- * Get profiling timestamp
- *
- * @ret timestamp	Timestamp
- */
-static inline __attribute__ (( always_inline )) uint64_t
-profile_timestamp ( void ) {
-	uint32_t eax;
-	uint32_t edx;
-
-	/* Read timestamp counter */
-	__asm__ __volatile__ ( "rdtsc" : "=a" ( eax ), "=d" ( edx ) );
-	return ( ( ( ( uint64_t ) edx ) << 32 ) | eax );
-}
-
-#endif /* _BITS_PROFILE_H */