f_3c
/* [3][8-f] */ f_38, f_38, f_38, f_38, f_3c, f_3c, f_3c, f_3c },
static void f_3c(vaddr_t, u_int, char *, size_t);