DEFAULT_TB_FREQ
#define DEFAULT_PROC_FREQ (DEFAULT_TB_FREQ * 8)
ppc_tb_freq = DEFAULT_TB_FREQ; /* hardcoded default */