Symbol: WSKBD_TYPE_EWS4800
sys/arch/ews4800mips/dev/ewskbd.c
493
*(int *)data = WSKBD_TYPE_EWS4800;
sys/arch/ews4800mips/sbd/kbms_sbdio.c
403
*(int *)data = WSKBD_TYPE_EWS4800;