insert_tbr
{ 0x3ff, 11, insert_tbr, extract_tbr,
static unsigned long insert_tbr (unsigned long, long, ppc_cpu_t, const char **);