On 7/3/23 10:42, Thomas Huth wrote:
On 29/06/2023 10.49, Nico Boehr wrote:
Quoting Pierre Morel (2023-06-27 10:21:54)
[...]
diff --git a/s390x/topology.c b/s390x/topology.c
new file mode 100644
index 0000000..7e1bbf9
--- /dev/null
+++ b/s390x/topology.c
@@ -0,0 +1,190 @@
[...]
+static void check_privilege(int fc)
+{
+ unsigned long rc;
+ char buf[20];
+
+ snprintf(buf, sizeof(buf), "Privileged fc %d", fc);
+ report_prefix_push(buf);
We have report_prefix_pushf (note the f at the end!) for this.
I can fix that up when picking in case there's no new version, though.
With that fixed:
Reviewed-by: Thomas Huth <thuth@xxxxxxxxxx>
Thanks both of you.
Regards,
Pierre
