cpu_has_guestctl0ext
#ifndef cpu_has_guestctl0ext
if (cpu_has_guestctl0ext)
if (cpu_has_guestctl0ext) {