Symbol: output_kvm_defines