Thanks to all who responded, especially to:
* Randy M. Hayman, Mohammed Ali, Paul Kitwin, Richard L Jackson Jr, Ed
Murphy, Claude Charest, Sean McInerney, George Guethlein,
alan_at_nabeth.cxo.dec.com, Matthew Lucius, Dave Cherkus, Mike D Cross,
Isidoro Sepe, Karen Byrd
There are a lot of solutions to this question. Here are some of them:
1.- Compile the following and execute:
#include <sys/sysinfo.h>                /* for getsysinfo() call        */
#include <machine/hal_sysinfo.h>        /* for sysinfo data             */
#include <machine/rpb.h>                /* for struct rpb               */
#include <stdio.h>
#include <mach.h>
main()
{
long int                status;
struct          rpb     rpb_buff;
    if( 0 <= (status = getsysinfo( GSI_GET_HWRPB, &rpb_buff, 
sizeof(rpb_buff))))
        fprintf(stdout, "CPU Frequency: \t\t%u Hz\n\n",
rpb_buff.rpb_counter);
}
2.- uerf -R full |more
3.- /usr/sbin/psrinfo -v
Received on Wed Nov 12 1997 - 23:46:22 NZDT