/* this is a temporary placeholder until kvm_para.h stops including it */