diff options
| author | Laurent Vivier <laurent@vivier.eu> | 2013-01-07 11:40:06 +0000 |
|---|---|---|
| committer | Laurent Vivier <laurent@vivier.eu> | 2013-01-30 12:13:21 +0100 |
| commit | c07ecc6866f8c5eb2e0b23ba20214000310355e0 (patch) | |
| tree | a6e190166c8ca567c9c0dd8e34bd321de77f4c7c /configure | |
| parent | 1b09aeb90827c1d91383a9eae42ce8f25909857b (diff) | |
linux-user: correct reboot()
According to man reboot(2), the 4th argument is only used with
LINUX_REBOOT_CMD_RESTART2. In other cases, trying to convert
the value can generate EFAULT.
Signed-off-by: Laurent Vivier <laurent@vivier.eu>
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions