summaryrefslogtreecommitdiff
path: root/debian/patches/introspection0006-libpager-annotate-objects-managed-by-libports.patch
blob: 4a78a1d92da0c412ba3e35a3b00300e42cfcdd5f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
From 9fdbeaed914893c81a696fe6f745cc2a25b74a9b Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 21 May 2014 18:33:14 +0200
Subject: [PATCH hurd 6/9] libpager: annotate objects managed by libports

Label _pager_class and provide a function which prints a
human-readable description of a pager object.

* libpager/pager-create.c (format_debug_info): New function.
(create_class): Label _pager_class.
---
 libpager/pager-create.c | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/libpager/pager-create.c b/libpager/pager-create.c
index b583f02..422e8f4 100644
--- a/libpager/pager-create.c
+++ b/libpager/pager-create.c
@@ -15,6 +15,8 @@
    along with this program; if not, write to the Free Software
    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
 
+#include <stdio.h>
+
 #include "priv.h"
 
 /* Create and return a new pager with user info UPI.  */
@@ -50,6 +52,23 @@ pager_create (struct user_pager_info *upi,
   return p;
 }
 
+/* Provide a human-readable description of the given pager object.  */
+static error_t
+format_debug_info (const void *port, char *buffer, size_t size)
+{
+  const struct pager *pager = port;
+  const struct port_info *pi = port;
+
+  snprintf (buffer, size,
+	    "bucket: %s, class: %s, may_cache: %d",
+	    pi->bucket->label,
+	    pi->class->label,
+	    /* XXX I have no idea what might be interesting to print
+	       here, but it is straight forward to add stuff.  */
+	    pager->may_cache);
+
+  return 0;
+}
 
 /* This causes the function to be run at startup by compiler magic. */
 static void create_class (void) __attribute__ ((constructor));
@@ -58,5 +77,6 @@ static void
 create_class ()
 {
   _pager_class = ports_create_class (_pager_clean, _pager_real_dropweak);
+  ports_label_class (_pager_class, "_pager_class", format_debug_info);
   (void) &create_class;		/* Avoid warning */
 }
-- 
2.1.4