Index: kernel/generic/include/ps/taskinfo.h
===================================================================
--- kernel/generic/include/ps/taskinfo.h	(revision e43cdac49002cebbacc64f283bba4fdfa5282411)
+++ kernel/generic/include/ps/taskinfo.h	(revision c39a1038071eb342ce574c2266ba22c16f055453)
@@ -46,4 +46,13 @@
 
 typedef struct {
+	uint64_t call_sent;
+	uint64_t call_recieved;
+	uint64_t answer_sent;
+	uint64_t answer_recieved;
+	uint64_t irq_notif_recieved;
+	uint64_t forwarded;
+} task_ipc_info_t;
+
+typedef struct {
 	task_id_t taskid;
 	char name[TASK_NAME_BUFLEN];
@@ -52,4 +61,5 @@
 	uint64_t ucycles;
 	uint64_t kcycles;
+	task_ipc_info_t ipc_info;
 } task_info_t;