CONFIG_PARAVIRT_XXL (not configurable)
configname: CONFIG_PARAVIRT_XXL
Linux Kernel Configuration
└─>Processor type and features
└─>Linux guest support
└─>PARAVIRT_XXL