# CONFIG_PARAVIRT is not set
