f_f4
{ /* [f][0-7] */ f_f0, f_f0, f_f0, f_f0, f_f4, f_f4, f_f4, f_f4,
static void f_f4(vaddr_t, u_int, char *, size_t);