/*
 * CCacheServer.defs
 *
 * Mach Interface specifications for Credentials Cache IPC
 */
 
subsystem CCacheIPC 128;

#include "CCache.types.defs"
import "CCache.MachIPC.h";

routine		InternalIPC_TellServerToQuit (
                        inServerPort	: mach_port_t;
                    out	outResult		: CCIResult);
					
routine		InternalIPC_TellServerToBecomeUser (
                        inServerPort	: mach_port_t;
                        inServerUID		: CCIUInt32;
                    out	outResult		: CCIResult);
					
#ifdef Classic_Ticket_Sharing
routine		InternalIPC_GetDiffs (
						inServerPort	: mach_port_t;
                        inServerID		: CCIUInt32;
						inSeqNo			: CCIUInt32;
					out	outDiffs		: CCacheDiffs, dealloc;
					out	outResult		: CCIResult);

routine		InternalIPC_FabricateInitialDiffs (
						inServerPort	: mach_port_t;
                        inServerID		: CCIUInt32;
					out	outDiffs		: CCacheDiffs, dealloc;
					out	outResult		: CCIResult);

#endif

routine		InternalIPC_CheckServerID (
						inServerPort	: mach_port_t;
                        inServerID		: CCIUInt32;
					out	outCorrect		: CCIUInt32;
					out	outResult		: CCIResult);
#include "Context.defs"
#include "CCache.defs"
#include "Credentials.defs"
