Re: [Xen-devel] [PATCH] tools/helpers: xen-init-dom0: Mark clear_domid_history() static

[Paul Durrant <xadimgnik@xxxxxxxxx>]

> -----Original Message-----
> From: julien@xxxxxxx <julien@xxxxxxx>
> Sent: 12 March 2020 20:24
> To: xen-devel@xxxxxxxxxxxxxxxxxxxx
> Cc: Julien Grall <jgrall@xxxxxxxxxx>; Ian Jackson 
> <ian.jackson@xxxxxxxxxxxxx>; Wei Liu <wl@xxxxxxx>;
> paul@xxxxxxx
> Subject: [PATCH] tools/helpers: xen-init-dom0: Mark clear_domid_history() 
> static
> 
> From: Julien Grall <jgrall@xxxxxxxxxx>
> 
> 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

Reviewed-by: Paul Durrant <paul@xxxxxxx>


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel