f_0c
/* [0][8-f] */ f_08, f_09, f_0a, f_0b, f_0c, f_0c, f_0c, f_0c },
static void f_0c(vaddr_t, u_int, char *, size_t);