f_60
{ /* [6][0-7] */ f_60, f_60, f_60, f_60, f_64, f_64, f_64, f_64,
static void f_60(vaddr_t, u_int, char *, size_t);