/* * ipmi_recvcmd: caller must hold sc_cmd_mtx. */