procfs: make ipc vectors available

diff --git a/servers/procfs/root.c b/servers/procfs/root.c
index 6b4f2279314bc1d548f8d60b58582ac50a5d2d85..f97a9dad47afbc09a8a93b81df81fe66a9e4351b 100644 (file)
--- a/servers/procfs/root.c
+++ b/servers/procfs/root.c
@@ -12,6 +12,7 @@ static void root_kinfo(void);
 static void root_meminfo(void);
 static void root_pci(void);
 static void root_dmap(void);
+static void root_ipcvecs(void);
 
 struct file root_files[] = {
        { "hz",         REG_ALL_MODE,   (data_t) root_hz        },
@@ -22,6 +23,7 @@ struct file root_files[] = {
        { "pci",        REG_ALL_MODE,   (data_t) root_pci       },
        { "dmap",       REG_ALL_MODE,   (data_t) root_dmap      },
        { "cpuinfo",    REG_ALL_MODE,   (data_t) root_cpuinfo   },
+       { "ipcvecs",    REG_ALL_MODE,   (data_t) root_ipcvecs   },
        { NULL,         0,              NULL                    }
 };
 
@@ -163,3 +165,34 @@ static void root_dmap(void)
                        dmap[i].dmap_driver);
        }
 }
+
+/*===========================================================================*
+ *                             root_ipcvecs                                 *
+ *===========================================================================*/
+static void root_ipcvecs(void)
+{
+       extern struct minix_kerninfo *_minix_kerninfo;
+       extern struct minix_ipcvecs _minix_ipcvecs;
+
+       /* only print this if the kernel provides the info; otherwise binaries
+        * will be using their own in-libc vectors that are normal symbols in the
+        * binary.
+        */
+       if(!_minix_kerninfo || !(_minix_kerninfo->ki_flags & MINIX_KIF_IPCVECS))
+               return;
+
+       /* print the vectors with an descriptive name and the additional (k)
+        * to distinguish them from regular symbols.
+        */
+#define PRINT_ENTRYPOINT(name) \
+       buf_printf("%08lx T %s(k)\n", _minix_ipcvecs.name ## _ptr, #name)
+
+       PRINT_ENTRYPOINT(sendrec);
+       PRINT_ENTRYPOINT(send);
+       PRINT_ENTRYPOINT(notify);
+       PRINT_ENTRYPOINT(senda);
+       PRINT_ENTRYPOINT(sendnb);
+       PRINT_ENTRYPOINT(receive);
+       PRINT_ENTRYPOINT(do_kernel_call);
+}
+