It looks like cpu profiling (eg. booting the kernel with profile=2) has not worked for quite a while in Xen. I realize that with steal time and lost ticks the profile samples won't add up to 100%, but getting some general idea of what's going on is probably better than nothing. This patch simply calls profile_tick() from timer_interrupt(). Signed-off-by: Rik van Riel -- All Rights Reversed