genode/os/include/x86_64/trace
..
timestamp.h