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. > generate-crash-dump is a wrong name for something that doesn't > generate a crash dump (the guest may not be configured for it, or it > may fail to work). Or the OS uses the NMI button for something else. > I'd expect that to be host-side functionality.
