[Xen-changelog] [xen master] tools/helpers: xen-init-dom0: Mark clear_domid_history() static

[patchbot@xxxxxxx]

commit 98108eaee84c64511d3b58f9c58bfe96786ec58c
Author:     Julien Grall <jgrall@xxxxxxxxxx>
AuthorDate: Thu Mar 12 20:24:07 2020 +0000
Commit:     Wei Liu <wl@xxxxxxx>
CommitDate: Fri Mar 13 10:18:31 2020 +0000

    tools/helpers: xen-init-dom0: Mark clear_domid_history() static
    
    xen-init-dom0 is a standalone binary, so all the functions but the
    main() should be static.
    
    Signed-off-by: Julien Grall <jgrall@xxxxxxxxxx>
    Cc: paul@xxxxxxx
    Acked-by: Wei Liu <wl@xxxxxxx>
---
 tools/helpers/xen-init-dom0.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/helpers/xen-init-dom0.c b/tools/helpers/xen-init-dom0.c
index 56f69ab66f..c99224a4b6 100644
--- a/tools/helpers/xen-init-dom0.c
+++ b/tools/helpers/xen-init-dom0.c
@@ -12,7 +12,7 @@
 #define DOMNAME_PATH   "/local/domain/0/name"
 #define DOMID_PATH     "/local/domain/0/domid"
 
-int clear_domid_history(void)
+static int clear_domid_history(void)
 {
     int rc = 1;
     xentoollog_logger_stdiostream *logger;
--
generated by git-patchbot for /home/xen/git/xen.git#master

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/xen-changelog