Function write_manifest 

pub(crate) fn write_manifest<'tcx>(
    path: &Path,
    tcx: TyCtxt<'tcx>,
    instances: &[Instance<'tcx>],
) -> Result<()>

Write a list of offload kernel instances to the manifest file.