cpu_guest_has_conf2
#ifndef cpu_guest_has_conf2
if (!cpu_guest_has_conf2)
if (!cpu_guest_has_conf2)
if (cpu_guest_has_conf2)
if (cpu_guest_has_conf2)
if (cpu_guest_has_conf2) {