/*
 * Regenerate with:
 *
 * $(xcrun --sdk macosx -f mig) \
 *     -isysroot $(xcrun --sdk macosx --show-sdk-path) \
 *     -sheader substratedserver.h \
 *     -server substratedserver.c \
 *     -header substratedclient.h \
 *     -user substratedclient.c \
 *     substrated.defs
 */

subsystem substrated 9000;

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

routine substrated_mark (
		server		: mach_port_t;
		task		: vm_task_entry_t;
		source_address	: mach_vm_address_t;
		source_size	: mach_vm_size_t;
	inout	target_address	: mach_vm_address_t
);
