f_47
{ /* [4][0-7] */ f_40, f_41, f_42, f_43, f_44, f_45, f_46, f_47,
static void f_47(vaddr_t, u_int, char *, size_t);