cpu_guest_has_badinstrp
#ifndef cpu_guest_has_badinstrp
if (cpu_guest_has_badinstrp)
if (cpu_guest_has_badinstrp) {
if (!cpu_guest_has_badinstrp)
if (!cpu_guest_has_badinstrp)
if (cpu_guest_has_badinstrp)
if (cpu_guest_has_badinstrp)