f_4b
/* [4][8-f] */ f_48, f_49, f_4a, f_4b, f_4c, f_4d, f_4e, f_4f },
static void f_4b(vaddr_t, u_int, char *, size_t);