Proper Import/Export between KVM and SystemC