//
// ucsp_callbacks: MIG definition of SecurityServer's callback services
//
#include <mach/std_types.defs>
#include <mach/mach_types.defs>
subsystem ucsp_notify 10000;
serverprefix ucsp_notify_receiver_;
userprefix ucsp_notify_sender_;
import "securityserver.h";
import "ucsp_types.h";
//
// Data types
//
type Data = array [] of char;
type uint32 = unsigned32;
simpleroutine notify(requestport receiver: mach_port_t;
msgoption options: mach_msg_options_t; waittime timeout: natural_t;
in domain: uint32; in event: uint32; in data: Data;
in sender: uint32);