# CONFIG_KVM_EXIT_TIMING is not set