f_70
{ /* [7][0-7] */ f_70, f_70, f_70, f_70, f_70, f_70, f_70, f_70,
/* [7][8-f] */ f_70, f_70, f_70, f_70, f_70, f_70, f_70, f_70 },
static void f_70(vaddr_t, u_int, char *, size_t);