__handle_sysrq
__handle_sysrq(c, false);
__handle_sysrq(key, true);
__handle_sysrq(sysrq_xlate[KEY_B], false);
__handle_sysrq(c, true);
void __handle_sysrq(u8 key, bool check_mask);
__handle_sysrq(*argv[1], check_mask);