Searched refs:ipc_port_timestamp_t (Results 1 – 4 of 4) sorted by relevance
101 typedef unsigned int ipc_port_timestamp_t; typedef162 ipc_port_timestamp_t ip_timestamp;417 extern ipc_port_timestamp_t ipc_port_timestamp_data;420 extern ipc_port_timestamp_t ipc_port_timestamp(void);531 static inline ipc_port_timestamp_t
145 ipc_port_timestamp_t timestamp, in mach_port_names_helper()235 ipc_port_timestamp_t timestamp; /* logical time of this operation */ in mach_port_names()
110 ipc_port_timestamp_t ipc_port_timestamp_data;165 ipc_port_timestamp_t
5633 ipc_port_timestamp_t timestamp; in ipc_kmsg_copyout_header()