# CONFIG_HVM is not set
# CONFIG_PV is not set
# CONFIG_DEBUG is not set