3 files changed, 3 insertions, 3 deletions
diff --git a/samples/gpio-pci-idio-16.c b/samples/gpio-pci-idio-16.c
index 86d5177..17dfdaa 100644
--- a/samples/gpio-pci-idio-16.c
+++ b/samples/gpio-pci-idio-16.c
@@ -136,7 +136,7 @@ main(int argc, char *argv[])
     }
 
 out:
-    vfu_ctx_destroy(vfu_ctx);
+    vfu_destroy_ctx(vfu_ctx);
     return ret;
 }
 
diff --git a/samples/null.c b/samples/null.c
index 1998a08..99e35cc 100644
--- a/samples/null.c
+++ b/samples/null.c
@@ -102,7 +102,7 @@ int main(int argc, char **argv)
         errno = ret;
         err(EXIT_FAILURE, "failed to create pthread");
     }
-    vfu_ctx_destroy(vfu_ctx);
+    vfu_destroy_ctx(vfu_ctx);
 
     printf("device emulation stopped and cleaned up, press enter to exit\n");
     if (getchar() == EOF) {
diff --git a/samples/server.c b/samples/server.c
index 7f9eefa..571e374 100644
--- a/samples/server.c
+++ b/samples/server.c
@@ -506,7 +506,7 @@ int main(int argc, char *argv[])
              strerror(-ret));
     }
 
-    vfu_ctx_destroy(vfu_ctx);
+    vfu_destroy_ctx(vfu_ctx);
     free(server_data.bar1);
     return EXIT_SUCCESS;
 }