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