void ppc_dec_init_qtime(void);
On a PPC, initialize the qtime section and timer kernel callouts of the system page to use the decrementer register.