f_50
{ /* [5][0-7] */ f_50, f_50, f_50, f_50, f_50, f_50, f_50, f_50,
/* [5][8-f] */ f_50, f_50, f_50, f_50, f_50, f_50, f_50, f_50 },
static void f_50(vaddr_t, u_int, char *, size_t);