Searched refs:ipc_port_timestamp_t (Results 1 – 4 of 4) sorted by relevance
101 typedef unsigned int ipc_port_timestamp_t; typedef163 ipc_port_timestamp_t ip_timestamp;441 extern ipc_port_timestamp_t ipc_port_timestamp_data;444 extern ipc_port_timestamp_t ipc_port_timestamp(void);555 static inline ipc_port_timestamp_t
144 ipc_port_timestamp_t timestamp, in mach_port_names_helper()234 ipc_port_timestamp_t timestamp; /* logical time of this operation */ in mach_port_names()
115 ipc_port_timestamp_t ipc_port_timestamp_data;182 ipc_port_timestamp_t
3636 ipc_port_timestamp_t timestamp; in ipc_kmsg_copyout_header()