515                                        uint32_t eventid, ItsCmdType cmd)  in do_process_its_cmd()  argument
527     irqlevel = (cmd == CLEAR || cmd == DISCARD) ? 0 : 1;  in do_process_its_cmd()
547     if (cmdres == CMD_CONTINUE_OK && cmd == DISCARD) {  in do_process_its_cmd()
557                                     ItsCmdType cmd)  in process_its_cmd()  argument
563     switch (cmd) {  in process_its_cmd()
576     return do_process_its_cmd(s, devid, eventid, cmd);  in process_its_cmd()
1252     uint8_t cmd;  in process_cmdq()  local
1303         cmd = cmdpkt[0] & CMD_MASK;  in process_cmdq()
1305         trace_gicv3_its_process_command(rd_offset, cmd);  in process_cmdq()
1307         switch (cmd) {  in process_cmdq()
1391             trace_gicv3_its_cmd_unknown(cmd);  in process_cmdq()
1404                           __func__, cmd);  in process_cmdq()