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