diff options
| author | Corey Minyard <cminyard@mvista.com> | 2016-01-11 07:32:31 -0600 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2016-02-09 15:46:54 +0100 |
| commit | 93a5364620dbfcf3cc13866d0e218fc3624c1edf (patch) | |
| tree | 0436dcca5dfa1b02cb7751589adb0bdfd40a8f43 /docs/aio_notify_accept.promela | |
| parent | ac5e8acdaec7c3a97d460e76ea912fa8ea7a4570 (diff) | |
ipmi_bmc_sim: Fix off by one in check.
Found by Paolo.
Cc: Paolo Bonzini <pbonzini@redhat.com>
Cc: Michael S. Tsirkin <mst@redhat.com>
Cc: Peter Maydell <peter.maydell@linaro.org>
Cc: Shannon Zhao <zhaoshenglong@huawei.com>
Cc: Xiao Guangrong <guangrong.xiao@linux.intel.com>
Cc: Stefan Hajnoczi <stefanha@redhat.com>
Signed-off-by: Corey Minyard <cminyard@mvista.com>
Message-Id: <1452519152-6500-2-git-send-email-minyard@acm.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'docs/aio_notify_accept.promela')
0 files changed, 0 insertions, 0 deletions