History log of /seL4-camkes-master/tools/rumprun/platform/hw/include/arch/x86/inline.h
Revision Date Author Comments
# 77fa03e0 02-Aug-2015 Antti Kantee <pooka@iki.fi>

remove bmk_ prefix from routines private to platform/hw
# 71d7142e 03-Jul-2015 Martin Lucina <martin@lucina.net>

hw: Move rdtsc() to include/arch/x86/inline.h
# 5b409809 15-Jun-2015 Antti Kantee <pooka@iki.fi>

Start unifying i386 and amd64 common bits into x86.