From 689810afe2d20d5f24f2a2379d3b9feffd0e9698 Mon Sep 17 00:00:00 2001 From: Justus Winter Date: Sun, 28 Feb 2016 17:21:35 +0100 Subject: ipc: add missing kernel object type * ipc/ipc_object.c (ikot_print_array): Add entry for IKOT_PAGER_PROXY. --- ipc/ipc_object.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ipc/ipc_object.c b/ipc/ipc_object.c index 320fbcb2..a6457c37 100644 --- a/ipc/ipc_object.c +++ b/ipc/ipc_object.c @@ -998,7 +998,8 @@ char *ikot_print_array[IKOT_MAX_TYPE] = { "(SEMAPHORE) ", "(LOCK_SET) ", "(CLOCK) ", - "(CLOCK_CTRL) ", /* 26 */ + "(CLOCK_CTRL) ", + "(PAGER_PROXY) ", /* 27 */ /* << new entries here */ "(UNKNOWN) " /* magic catchall */ }; /* Please keep in sync with kern/ipc_kobject.h */ -- cgit v1.2.3