cpu-time - not real time

Hello,

I need the used cpu-time of some php-coding. Does anybody know?

Real time doesn't seem to be a problem...

$time_start = microtime(true);

// here my code

$time_end = microtime(true);
$time = $time_end - $time_start;

But I need cpu-time.

Thanks
Marco Volberg

.