On Mon, Apr 11, 2011 at 10:01 AM, Markus Armbruster <arm...@redhat.com> wrote: > Avi Kivity <a...@redhat.com> writes: > >> On 04/08/2011 12:41 AM, Anthony Liguori wrote: >>> >>> And it's a good thing to have, but exposing this as the only API to >>> do something as simple as generating a guest crash dump is not the >>> friendliest thing in the world to do to users. >> >> nmi is a fine name for something that corresponds to a real-life nmi >> button (often labeled "NMI"). > > Agree.
We could also introduce an alias mechanism for user friendly names, so nmi could be used in addition of full path. Aliases could be useful for device paths as well.
