#include <machine/commpage.h>
#include <machine/machine_routines.h>
#include <ppc/exception.h>
#include <ppc/proc_reg.h>
#include <machine/commpage.h>
#include <machine/machine_routines.h>
#include <ppc/exception.h>
#include <ppc/proc_reg.h>
freq->timebase_num, freq->timebase_den);
denom = freq->timebase_num;
freq->timebase_num, freq->timebase_den);
denom = freq->timebase_num;