userspace/tools: add dump_type_scaledPicoseconds to wrs_dump_shmem

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

userspace/tools/wrs_dump_shmem.c

@@ -287,6 +287,9 @@ void dump_one_field(void *addr, struct dump_info *info)
 		printf("\n");
 		break;
 		}
+	case dump_type_scaledPicoseconds:
+		printf("%lld\n", (*(unsigned long long *)p)>>16);
+		break;
 	}
 }
 void dump_many_fields(void *addr, struct dump_info *info, int ninfo)

userspace/tools/wrs_dump_shmem.h

@@ -70,6 +70,8 @@ enum dump_type {
 	/* rtu_filtering_entry enumerations */
 	dump_type_rtu_filtering_entry_dynamic,
 	dump_type_array_int,
+	/* scaledPicoseconds */
+	dump_type_scaledPicoseconds,
 };
 /*
  * A structure to dump fields. This is meant to simplify things, see use here