tree e0b18192d226aa628e0bcfa4e1cdb32b6bd8a7f9
parent 20f649dd22dae13301c906c27a8768a318591ae8
author Alexander Graf <agraf@suse.de> 1366331708 +0200
committer Alexander Graf <agraf@suse.de> 1367010161 +0200

PPC: Fix compile with profiling enabled

When using profiling, we rely on profile_getclock() being available
at our disposal. Somehow that function got moved from an indirect
include we used to have in translate-init.c, so that we were now
left not properly compiling anymore.

Add an explicit include to timer.h which defines profile_getclock,
so that we can compile again.

Signed-off-by: Alexander Graf <agraf@suse.de>