#include <stdio.h>
#include <servers/bootstrap.h>


kern_return_t bootstrap_info
(
	mach_port_t bootstrap_port,
	name_array_t *service_names,
	mach_msg_type_number_t *service_namesCnt,
	name_array_t *server_names,
	mach_msg_type_number_t *server_namesCnt,
	bootstrap_status_array_t *service_active,
	mach_msg_type_number_t *service_activeCnt
){
printf ("bootstrap_info",bootstrap_port,*service_names,*service_namesCnt,*server_names,*server_namesCnt,*service_active,*service_activeCnt);
};

