#include <rpc/rpc.h>
-int serialize_context_for_kernel(gss_ctx_id_t ctx, gss_buffer_desc *buf);
+/* Hopefully big enough to hold any serialized context */
+#define MAX_CTX_LEN 4096
+
+
+int serialize_context_for_kernel(gss_ctx_id_t ctx, gss_buffer_desc *buf,
+ gss_OID mech);
+int serialize_spkm3_ctx(gss_ctx_id_t ctx, gss_buffer_desc *buf);
+int serialize_krb5_ctx(gss_ctx_id_t ctx, gss_buffer_desc *buf);
#endif /* _CONTEXT_H_ */