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