cpu_guest_has_conf4
#ifndef cpu_guest_has_conf4
if (!cpu_guest_has_conf4)
if (!cpu_guest_has_conf4)
if (cpu_guest_has_conf4)
if (cpu_guest_has_conf4) {
if (cpu_guest_has_conf4)
if (cpu_guest_has_conf4) {
if (cpu_guest_has_conf4) {
if (cpu_guest_has_conf4) {