p9cputime          62 include/libc.h extern  double  p9cputime(void);
p9cputime          64 include/libc.h #define cputime     p9cputime