Piotr Tworek 50ab86cd72 base-hw: Remove unused rdtsc function for x86_64 ...

This function has no callers. Clang warns about this.

Issue #3950

2020-11-27 09:19:08 +01:00

..

hw

kernel: differentiate board-specific components

2019-05-27 14:46:52 +02:00

spec

base-hw: Remove unused rdtsc function for x86_64

2020-11-27 09:19:08 +01:00

env.cc

base: remove dependency from deprecated APIs

2019-02-19 11:08:17 +01:00

init.cc

hw: switch page-tables only when necessary

2017-10-19 13:31:18 +02:00

lock.cc

base: remove Cancelable_lock

2020-07-30 08:49:23 +02:00

log.cc

hw: enable Genode::raw for bootstrap

2019-11-19 14:42:23 +01:00

platform.cc

base-hw: Define Entry function as noreturn.

2020-11-23 12:02:59 +01:00

platform.h

hw: instantiate pic object per cpu

2019-11-19 14:42:22 +01:00

thread.cc

hw: separate bootstrap and core strictly

2017-05-31 13:15:52 +02:00