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