f_6c
/* [6][8-f] */ f_68, f_68, f_68, f_68, f_6c, f_6c, f_6c, f_6c },
static void f_6c(vaddr_t, u_int, char *, size_t);