cpu_guest_has_conf1
#ifndef cpu_guest_has_conf1
if (!cpu_guest_has_conf1)
if (!cpu_guest_has_conf1)
if (cpu_guest_has_conf1)
if (cpu_guest_has_conf1)
if (cpu_guest_has_conf1)
if (cpu_guest_has_conf1)
if (cpu_guest_has_conf1) {