1/* 2 * Copyright (c) 2006 Apple Computer, Inc. All rights reserved. 3 * 4 * @APPLE_OSREFERENCE_LICENSE_HEADER_START@ 5 * 6 * This file contains Original Code and/or Modifications of Original Code 7 * as defined in and that are subject to the Apple Public Source License 8 * Version 2.0 (the 'License'). You may not use this file except in 9 * compliance with the License. The rights granted to you under the License 10 * may not be used to create, or enable the creation or redistribution of, 11 * unlawful or unlicensed copies of an Apple operating system, or to 12 * circumvent, violate, or enable the circumvention or violation of, any 13 * terms of an Apple operating system software license agreement. 14 * 15 * Please obtain a copy of the License at 16 * http://www.opensource.apple.com/apsl/ and read it before using this file. 17 * 18 * The Original Code and all software distributed under the License are 19 * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER 20 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES, 21 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY, 22 * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT. 23 * Please see the License for the specific language governing rights and 24 * limitations under the License. 25 * 26 * @APPLE_OSREFERENCE_LICENSE_HEADER_END@ 27 */ 28 29#include <mach/std_types.defs> 30#include <mach/mach_types.defs> 31 32#ifdef KERNEL 33import <gssd/gssd_mach_types.h>; 34#else 35import <gssd_mach_types.h>; 36#endif 37 38type mechtype = int32_t; 39type string_t = c_string[*:1024]; 40type byte_buffer = array [] of uint8_t; 41type gssd_verifier = uint64_t; 42type gid_list = array [*:16] of uint32_t; 43 44subsystem 45#if KERNEL_USER 46KernelUser 47#endif 48gssd_mach 999; 49 50serverprefix svc_; 51 52routine mach_gss_init_sec_context( 53 server : mach_port_t; 54 in mech : mechtype; 55 in intoken : byte_buffer; 56 in uid : uint32_t; 57 in princ_namestr : string_t; 58 in svc_namestr : string_t; 59 in flags : uint32_t; 60 inout verifier : gssd_verifier; 61 inout context : uint32_t; 62 inout cred_handle : uint32_t; 63 out key : byte_buffer, dealloc; 64 out outtoken : byte_buffer, dealloc; 65 out major_stat : uint32_t; 66 out minor_stat : uint32_t 67); 68 69routine mach_gss_accept_sec_context( 70 server : mach_port_t; 71 in intoken : byte_buffer; 72 in svc_namestr : string_t; 73 in flags : uint32_t; 74 inout verifier : gssd_verifier; 75 inout context : uint32_t; 76 inout cred_handle : uint32_t; 77 out uid : uint32_t; 78 out gids : gid_list; 79 out key : byte_buffer, dealloc; 80 out outtoken : byte_buffer, dealloc; 81 out major_stat : uint32_t; 82 out minor_stat : uint32_t 83); 84 85simpleroutine mach_gss_log_error( 86 server : mach_port_t; 87 in mnt : string_t; 88 in uid : uint32_t; 89 in source : string_t; 90 in major_stat : uint32_t; 91 in minor_stat : uint32_t 92); 93