+static char *
+getXid(char *buf, char const *pid_str)
+{
+ return getCtxId(buf, pid_str, vc_get_task_xid, "vc_get_task_xid()");
+}
+
+static char *
+getNid(char *buf, const char *pid_str)
+{
+ return getCtxId(buf, pid_str, vc_get_task_nid, "vc_get_task_nid()");
+}
+
+static char *
+getTag(char *buf, const char *pid_str)
+{
+ return getCtxId(buf, pid_str, vc_get_task_tag, "vc_get_task_tag()");
+}
+