PRINT_ONE_PORT_TYPE(PROCESSOR);
PRINT_ONE_PORT_TYPE(PSET);
PRINT_ONE_PORT_TYPE(PSET_NAME);
+ PRINT_ONE_PORT_TYPE(TIMER);
PRINT_ONE_PORT_TYPE(PAGING_REQUEST);
- PRINT_ONE_PORT_TYPE(MEMORY_OBJECT);
PRINT_ONE_PORT_TYPE(MIG);
+ PRINT_ONE_PORT_TYPE(MEMORY_OBJECT);
PRINT_ONE_PORT_TYPE(XMM_PAGER);
PRINT_ONE_PORT_TYPE(XMM_KERNEL);
PRINT_ONE_PORT_TYPE(XMM_REPLY);
+ PRINT_ONE_PORT_TYPE(UND_REPLY);
+ PRINT_ONE_PORT_TYPE(HOST_NOTIFY);
+ PRINT_ONE_PORT_TYPE(HOST_SECURITY);
+ PRINT_ONE_PORT_TYPE(LEDGER);
+ PRINT_ONE_PORT_TYPE(MASTER_DEVICE);
+ PRINT_ONE_PORT_TYPE(TASK_NAME);
+ PRINT_ONE_PORT_TYPE(SUBSYSTEM);
+ PRINT_ONE_PORT_TYPE(IO_DONE_QUEUE);
+ PRINT_ONE_PORT_TYPE(SEMAPHORE);
+ PRINT_ONE_PORT_TYPE(LOCK_SET);
PRINT_ONE_PORT_TYPE(CLOCK);
PRINT_ONE_PORT_TYPE(CLOCK_CTRL);
- PRINT_ONE_PORT_TYPE(MASTER_DEVICE);
+ PRINT_ONE_PORT_TYPE(IOKIT_SPARE);
+ PRINT_ONE_PORT_TYPE(NAMED_ENTRY);
+ PRINT_ONE_PORT_TYPE(IOKIT_CONNECT);
+ PRINT_ONE_PORT_TYPE(IOKIT_OBJECT);
+ PRINT_ONE_PORT_TYPE(UPL);
+ PRINT_ONE_PORT_TYPE(MEM_OBJ_CONTROL);
+
PRINT_ONE_PORT_TYPE(UNKNOWN);
printf("\nipc_space:\n\n");
printf("NULL KERNEL REPLY PAGER OTHER\n");