From af03084f1001fa61c5e1a22584247dbe6bc2809e Mon Sep 17 00:00:00 2001 From: David van Moolenbroek Date: Tue, 6 Aug 2013 18:06:53 +0200 Subject: [PATCH] VM: dump RS-provided access masks Not a production patch! Change-Id: I0dd369e67af08f32610459c9501551742c5dbfd6 --- servers/vm/rs.c | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/servers/vm/rs.c b/servers/vm/rs.c index e932f6b14..e4d6a504e 100644 --- a/servers/vm/rs.c +++ b/servers/vm/rs.c @@ -34,6 +34,8 @@ int do_rs_set_priv(message *m) { int r, n, nr; struct vmproc *vmp; + char buf[NR_VM_CALLS+1]; + int i; nr = m->VM_RS_NR; @@ -50,6 +52,11 @@ int do_rs_set_priv(message *m) sizeof(vmp->vm_call_mask)); if (r != OK) return r; + + for (i = 0; i < NR_VM_CALLS; i++) + buf[i] = !!GET_BIT(vmp->vm_call_mask, i) + '0'; + buf[i] = 0; + printf("VM: calls for %u: %s\n", nr, buf); } return OK;