I haven't tried it but it looks ok. see arch/ppc/kernel/time.c
timer_interrupt() and ppc_do_profile().
boot with profile=2 as a kernel option and use 'readprofile', that
will tell you for sure.
-i
ianw@gelato.unsw.edu.au
http://www.gelato.unsw.edu.au
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/