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