ADBK_OPTION
if (event->u.k.key == ADBK_KEYDOWN(ADBK_OPTION)) {
} else if (event->u.k.key == ADBK_KEYUP(ADBK_OPTION)) {
new_event.u.k.key = ADBK_KEYDOWN(ADBK_OPTION);
new_event.u.k.key = ADBK_KEYUP(ADBK_OPTION);
(((key) & 0x7f) == ADBK_OPTION))
if (event->u.k.key == ADBK_KEYDOWN(ADBK_OPTION)) {
} else if (event->u.k.key == ADBK_KEYUP(ADBK_OPTION)) {
new_event.u.k.key = ADBK_KEYDOWN(ADBK_OPTION);
new_event.u.k.key = ADBK_KEYUP(ADBK_OPTION);
(((key) & 0x7f) == ADBK_OPTION))