f_20
{ /* [2][0-7] */ f_20, f_20, f_20, f_20, f_24, f_24, f_24, f_24,
static void f_20(vaddr_t, u_int, char *, size_t);