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