#include <mach/std_types.defs>
#include <mach/mach_types.defs>

type cpu_type_t = int;

subsystem dyld_server 10000;
serverprefix do_;

simpleroutine dyld_shared_cache_missing(
				dyld_port	: mach_port_t;
				arch		: cpu_type_t;
	SendTime    sendTimeout : natural_t);


simpleroutine dyld_shared_cache_out_of_date(
				dyld_port	: mach_port_t;
				arch		: cpu_type_t;
	SendTime    sendTimeout : natural_t);