f_34
{ /* [3][0-7] */ f_30, f_30, f_30, f_30, f_34, f_34, f_34, f_34,
static void f_34(vaddr_t, u_int, char *, size_t);