/* If the Guest expects to have an Advanced Programmable Interrupt Controller, we play dumb by ignoring writes and returning 0 for reads. So it's no longer Programmable nor Controlling anything, and I don't think 8 lines of code qualifies for Advanced. It will also never interrupt anything. It does, however, allow us to get through the Linux boot code.  */
static void lguest_safe_halt(void)
/* If the Guest expects to have an Advanced Programmable Interrupt Controller, we play dumb by ignoring writes and returning 0 for reads. So it's no longer Programmable nor Controlling anything, and I don't think 8 lines of code qualifies for Advanced. It will also never interrupt anything. It does, however, allow us to get through the Linux boot code.  */
static void lguest_safe_halt(void)
{
	kvm_hypercall0(LHCALL_HALT);
}