f_2c
/* [2][8-f] */ f_28, f_28, f_28, f_28, f_2c, f_2c, f_2c, f_2c },
static void f_2c(vaddr_t, u_int, char *, size_t);