# CONFIG_HAVE_KVM_IRQ_BYPASS is not set
