From 50ab86cd72367575d68677e1bc9172e43fba68fa Mon Sep 17 00:00:00 2001
From: Piotr Tworek <tworaz@tworaz.net>
Date: Fri, 13 Nov 2020 00:16:22 +0100
Subject: [PATCH] base-hw: Remove unused rdtsc function for x86_64

This function has no callers. Clang warns about this.

Issue #3950
---
 repos/base-hw/src/bootstrap/spec/x86_64/platform.cc | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/repos/base-hw/src/bootstrap/spec/x86_64/platform.cc b/repos/base-hw/src/bootstrap/spec/x86_64/platform.cc
index ab349306e8..c267549290 100644
--- a/repos/base-hw/src/bootstrap/spec/x86_64/platform.cc
+++ b/repos/base-hw/src/bootstrap/spec/x86_64/platform.cc
@@ -246,13 +246,6 @@ struct Lapic : Mmio
 	Lapic(addr_t const addr) : Mmio(addr) { }
 };
 
-static inline Genode::uint64_t rdtsc()
-{
-	Genode::uint32_t lo, hi;
-	asm volatile("rdtsc" : "=a" (lo), "=d" (hi));
-	return (Genode::uint64_t)hi << 32 | lo;
-}
-
 static inline void ipi_to_all(Lapic &lapic, unsigned const boot_frame,
                               Lapic::Icr_low::Delivery_mode::Mode const mode)
 {