launch-cache/dyld_shared_cache.defs

   1 #include <mach/std_types.defs>
   2 #include <mach/mach_types.defs>
   3
   4 type cpu_type_t = int;
   5
   6 subsystem dyld_server 10000;
   7 serverprefix do_;
   8
   9 simpleroutine dyld_shared_cache_missing(
  10                                 dyld_port       : mach_port_t;
  11                                 arch            : cpu_type_t;
  12         SendTime    sendTimeout : natural_t);
  13
  14
  15 simpleroutine dyld_shared_cache_out_of_date(
  16                                 dyld_port       : mach_port_t;
  17                                 arch            : cpu_type_t;
  18         SendTime    sendTimeout : natural_t);
  19