On Fri, Apr 14, 2023 at 12:02:26PM +0200, Michal Privoznik wrote:
When starting QEMU, or when hotplugging a PCI device QEMU might
lock some memory. How much? Well, that's a undecidable problem: a
s/a undecidable/an undecidable/
As a nitpick I'd even s/:.*QED/:/ so we don't repeat ourselves. Either way
Reviewed-by: Martin Kletzander <mkletzan(a)redhat.com>
Turing machine that halts, halts in an finite number of steps,
and thus it can move tape only so many times. Now, does given TM
halt? QED.