Source file pkcs11_rev_decl.ml

(* All functions declared here are named UC_ where the U stands for unlocked.
   The actual C_ functions are proxies to this with a mutex lock added.
*)

(* toplevel ref to store value that should not be garbage collected *)
let roots = ref []

module Rev_bindings(Callback : Pkcs11.LOW_LEVEL_BINDINGS)(I: Cstubs_inverted.INTERNAL) = struct

  open Pkcs11

  let declare name signature cb =
    (* Format.eprintf "registering function %S@." name; *)
    roots := Obj.repr cb :: !roots;
    I.internal name signature cb

  let _ =
    declare "UC_Initialize" CK.T.c_Initialize Callback.c_Initialize;
    declare "UC_Finalize" CK.T.c_Finalize Callback.c_Finalize;
    declare "UC_GetInfo" CK.T.c_GetInfo Callback.c_GetInfo;
    declare "UC_GetTokenInfo" CK.T.c_GetTokenInfo Callback.c_GetTokenInfo;
    declare "UC_GetSlotList" CK.T.c_GetSlotList Callback.c_GetSlotList;
    declare "UC_GetSlotInfo" CK.T.c_GetSlotInfo Callback.c_GetSlotInfo;
    declare "UC_GetMechanismList" CK.T.c_GetMechanismList Callback.c_GetMechanismList;
    declare "UC_GetMechanismInfo" CK.T.c_GetMechanismInfo Callback.c_GetMechanismInfo;
    declare "UC_InitToken" CK.T.c_InitToken Callback.c_InitToken;
    declare "UC_InitPIN" CK.T.c_InitPIN Callback.c_InitPIN;
    declare "UC_SetPIN" CK.T.c_SetPIN Callback.c_SetPIN;

    (* Session Management *)
    declare "UC_OpenSession" CK.T.c_OpenSession Callback.c_OpenSession;
    declare "UC_CloseSession" CK.T.c_CloseSession Callback.c_CloseSession;
    declare "UC_CloseAllSessions" CK.T.c_CloseAllSessions Callback.c_CloseAllSessions;
    declare "UC_GetSessionInfo" CK.T.c_GetSessionInfo Callback.c_GetSessionInfo;
    declare "UC_GetOperationState" CK.T.c_GetOperationState Callback.c_GetOperationState;
    declare "UC_SetOperationState" CK.T.c_SetOperationState Callback.c_SetOperationState;
    declare "UC_Login" CK.T.c_Login Callback.c_Login ;
    declare "UC_Logout" CK.T.c_Logout Callback.c_Logout;

    (* Object Management *)
    declare "UC_CreateObject" CK.T.c_CreateObject Callback.c_CreateObject ;
    declare "UC_CopyObject" CK.T.c_CopyObject Callback.c_CopyObject ;
    declare "UC_DestroyObject" CK.T.c_DestroyObject Callback.c_DestroyObject;
    declare "UC_GetObjectSize" CK.T.c_GetObjectSize Callback.c_GetObjectSize;
    declare "UC_GetAttributeValue" CK.T.c_GetAttributeValue Callback.c_GetAttributeValue ;
    declare "UC_SetAttributeValue" CK.T.c_SetAttributeValue Callback.c_SetAttributeValue ;
    declare "UC_FindObjectsInit" CK.T.c_FindObjectsInit Callback.c_FindObjectsInit ;
    declare "UC_FindObjects" CK.T.c_FindObjects Callback.c_FindObjects ;
    declare "UC_FindObjectsFinal" CK.T.c_FindObjectsFinal Callback.c_FindObjectsFinal;

    (* Encryption and decryption *)
    declare "UC_EncryptInit" CK.T.c_EncryptInit Callback.c_EncryptInit ;
    declare "UC_Encrypt" CK.T.c_Encrypt Callback.c_Encrypt;
    declare "UC_EncryptUpdate" CK.T.c_EncryptUpdate Callback.c_EncryptUpdate;
    declare "UC_EncryptFinal" CK.T.c_EncryptFinal Callback.c_EncryptFinal ;
    declare "UC_DecryptInit" CK.T.c_DecryptInit Callback.c_DecryptInit ;
    declare "UC_Decrypt" CK.T.c_Decrypt Callback.c_Decrypt;
    declare "UC_DecryptUpdate" CK.T.c_DecryptUpdate Callback.c_DecryptUpdate;
    declare "UC_DecryptFinal" CK.T.c_DecryptFinal Callback.c_DecryptFinal;
    declare "UC_DigestInit" CK.T.c_DigestInit Callback.c_DigestInit;
    declare "UC_Digest" CK.T.c_Digest Callback.c_Digest;
    declare "UC_DigestUpdate" CK.T.c_DigestUpdate Callback.c_DigestUpdate;
    declare "UC_DigestKey" CK.T.c_DigestKey Callback.c_DigestKey;
    declare "UC_DigestFinal" CK.T.c_DigestFinal Callback.c_DigestFinal;

    (* Signing and MACing *)
    declare "UC_SignInit" CK.T.c_SignInit Callback.c_SignInit ;
    declare "UC_Sign" CK.T.c_Sign Callback.c_Sign ;
    declare "UC_SignUpdate" CK.T.c_SignUpdate Callback.c_SignUpdate ;
    declare "UC_SignFinal" CK.T.c_SignFinal Callback.c_SignFinal ;
    declare "UC_SignRecoverInit" CK.T.c_SignRecoverInit Callback.c_SignRecoverInit ;
    declare "UC_SignRecover" CK.T.c_SignRecover Callback.c_SignRecover ;
    declare "UC_VerifyInit" CK.T.c_VerifyInit Callback.c_VerifyInit ;
    declare "UC_Verify" CK.T.c_Verify Callback.c_Verify;
    declare "UC_VerifyUpdate" CK.T.c_VerifyUpdate Callback.c_VerifyUpdate;
    declare "UC_VerifyFinal" CK.T.c_VerifyFinal Callback.c_VerifyFinal ;
    declare "UC_VerifyRecoverInit" CK.T.c_VerifyRecoverInit Callback.c_VerifyRecoverInit ;
    declare "UC_VerifyRecover" CK.T.c_VerifyRecover Callback.c_VerifyRecover;
    declare "UC_DigestEncryptUpdate" CK.T.c_DigestEncryptUpdate Callback.c_DigestEncryptUpdate;
    declare "UC_DecryptDigestUpdate" CK.T.c_DecryptDigestUpdate Callback.c_DecryptDigestUpdate;
    declare "UC_SignEncryptUpdate" CK.T.c_SignEncryptUpdate Callback.c_SignEncryptUpdate;
    declare "UC_DecryptVerifyUpdate" CK.T.c_DecryptVerifyUpdate Callback.c_DecryptVerifyUpdate;

    (* Key management *)
    declare "UC_GenerateKey" CK.T.c_GenerateKey Callback.c_GenerateKey ;
    declare "UC_GenerateKeyPair" CK.T.c_GenerateKeyPair Callback.c_GenerateKeyPair ;
    declare "UC_WrapKey" CK.T.c_WrapKey Callback.c_WrapKey ;
    declare "UC_UnwrapKey" CK.T.c_UnwrapKey Callback.c_UnwrapKey ;
    declare "UC_DeriveKey" CK.T.c_DeriveKey Callback.c_DeriveKey ;
    declare "UC_SeedRandom" CK.T.c_SeedRandom Callback.c_SeedRandom;
    declare "UC_GenerateRandom" CK.T.c_GenerateRandom Callback.c_GenerateRandom;
    declare "UC_GetFunctionStatus" CK.T.c_GetFunctionStatus Callback.c_GetFunctionStatus;
    declare "UC_CancelFunction" CK.T.c_CancelFunction Callback.c_CancelFunction;
    declare "UC_WaitForSlotEvent" CK.T.c_WaitForSlotEvent Callback.c_WaitForSlotEvent;
    ()

end