cpu_guest_has_userlocal
#ifndef cpu_guest_has_userlocal
if (cpu_guest_has_userlocal)
if (cpu_guest_has_userlocal) {
if (!cpu_guest_has_userlocal)
if (!cpu_guest_has_userlocal)
if (cpu_guest_has_userlocal)
if (cpu_guest_has_userlocal)