cpu_guest_has_badinstr
#ifndef cpu_guest_has_badinstr
if (cpu_guest_has_badinstr)
if (cpu_guest_has_badinstr) {
if (!cpu_guest_has_badinstr)
if (!cpu_guest_has_badinstr)
if (cpu_guest_has_badinstr)
if (cpu_guest_has_badinstr)