sun_fkeys 741 dev/wscons/wsemul_sun.c static char *sun_fkeys[] = { sun_fkeys 786 dev/wscons/wsemul_sun.c *out = sun_fkeys[in - KS_f1]; sun_fkeys 790 dev/wscons/wsemul_sun.c *out = sun_fkeys[in - KS_F1]; sun_fkeys 794 dev/wscons/wsemul_sun.c *out = sun_fkeys[in - KS_KP_F1];