diff options
| author | Ian Campbell <ian.campbell@citrix.com> | 2010-08-23 06:59:29 -0400 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2010-08-23 06:59:29 -0400 |
| commit | 1dc7ce99b091a11cce0f34456c1ffcb928f17edd (patch) | |
| tree | b9f125fc324a86ff4af64fb0799d20330f61084c /drivers/gpu/drm/drm_drv.c | |
| parent | c93a4dfb31f2c023da3ad1238c352452f2cc0e05 (diff) | |
xen: pvhvm: rename xen_emul_unplug=ignore to =unnnecessary
It is not immediately clear what this option causes to become
ignored. The actual meaning is that it is not necessary to unplug the
emulated devices to safely use the PV ones, even if the platform does
not support the unplug protocol. (pressumably the user will only add
this option if they have ensured that their domain configuration is
safe).
I think xen_emul_unplug=unnecessary better captures this.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Acked-by: Stefano Stabellini <Stefano.Stabellini@eu.citrix.com>
Diffstat (limited to 'drivers/gpu/drm/drm_drv.c')
0 files changed, 0 insertions, 0 deletions