package pkcs11-driver

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

pkcs11-driver

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `CK.TF`Source

This module contains the type declarations for the API functions.

Parameters

module F : sig ... end

Signature

Sourceval c_Initialize : (unit Ctypes_static.ptr -> CK_RV.t F.return) F.fn

Sourceval c_Finalize : (unit Ctypes_static.ptr -> CK_RV.t F.return) F.fn

Sourceval c_GetInfo : (CK_INFO.t Ctypes_static.ptr -> CK_RV.t F.return) F.fn

Source

val c_GetFunctionList : 
  (ck_function_list Ctypes_static.ptr Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_GetSlotList : 
  (CK_BYTE.t ->
    CK_SLOT_ID.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_GetSlotInfo : 
  (CK_SLOT_ID.t -> CK_SLOT_INFO.t Ctypes_static.ptr -> CK_RV.t F.return) F.fn

Source

val c_GetTokenInfo : 
  (CK_SLOT_ID.t -> CK_TOKEN_INFO.t Ctypes_static.ptr -> CK_RV.t F.return) F.fn

Source

val c_GetMechanismList : 
  (CK_SLOT_ID.t ->
    CK_MECHANISM_TYPE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_GetMechanismInfo : 
  (CK_SLOT_ID.t ->
    CK_MECHANISM_TYPE.t ->
    CK_MECHANISM_INFO.t Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_InitToken : 
  (CK_SLOT_ID.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_InitPIN : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Source

val c_SetPIN : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Source

val c_OpenSession : 
  (CK_SLOT_ID.t ->
    CK_FLAGS.t ->
    unit Ctypes_static.ptr ->
    CK_NOTIFY.u Ctypes.ptr ->
    CK_SESSION_HANDLE.t Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Sourceval c_CloseSession : (CK_SESSION_HANDLE.t -> CK_RV.t F.return) F.fn

Sourceval c_CloseAllSessions : (CK_SLOT_ID.t -> CK_RV.t F.return) F.fn

Source

val c_GetSessionInfo : 
  (CK_SESSION_HANDLE.t ->
    CK_SESSION_INFO.t Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_GetOperationState : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_SetOperationState : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_OBJECT_HANDLE.t ->
    CK_OBJECT_HANDLE.t ->
    CK_RV.t F.return)
    F.fn

Source

val c_Login : 
  (CK_SESSION_HANDLE.t ->
    CK_USER_TYPE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Sourceval c_Logout : (CK_SESSION_HANDLE.t -> CK_RV.t F.return) F.fn

Source

val c_CreateObject : 
  (CK_SESSION_HANDLE.t ->
    CK_ATTRIBUTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_OBJECT_HANDLE.t Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_CopyObject : 
  (CK_SESSION_HANDLE.t ->
    CK_OBJECT_HANDLE.t ->
    CK_ATTRIBUTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_OBJECT_HANDLE.t Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_DestroyObject : 
  (CK_SESSION_HANDLE.t -> CK_OBJECT_HANDLE.t -> CK_RV.t F.return) F.fn

Source

val c_GetObjectSize : 
  (CK_SESSION_HANDLE.t ->
    CK_OBJECT_HANDLE.t ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_GetAttributeValue : 
  (CK_SESSION_HANDLE.t ->
    CK_OBJECT_HANDLE.t ->
    CK_ATTRIBUTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Source

val c_SetAttributeValue : 
  (CK_SESSION_HANDLE.t ->
    CK_OBJECT_HANDLE.t ->
    CK_ATTRIBUTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Source

val c_FindObjectsInit : 
  (CK_SESSION_HANDLE.t ->
    CK_ATTRIBUTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Source

val c_FindObjects : 
  (CK_SESSION_HANDLE.t ->
    CK_OBJECT_HANDLE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Sourceval c_FindObjectsFinal : (CK_SESSION_HANDLE.t -> CK_RV.t F.return) F.fn

Source

val c_EncryptInit : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_OBJECT_HANDLE.t ->
    CK_RV.t F.return)
    F.fn

Source

val c_Encrypt : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_EncryptUpdate : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_EncryptFinal : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_DecryptInit : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_OBJECT_HANDLE.t ->
    CK_RV.t F.return)
    F.fn

Source

val c_Decrypt : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_DecryptUpdate : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_DecryptFinal : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_DigestInit : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_Digest : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_DigestUpdate : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Source

val c_DigestKey : 
  (CK_SESSION_HANDLE.t -> CK_OBJECT_HANDLE.t -> CK_RV.t F.return) F.fn

Source

val c_DigestFinal : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_SignInit : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_OBJECT_HANDLE.t ->
    CK_RV.t F.return)
    F.fn

Source

val c_Sign : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_SignUpdate : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Source

val c_SignFinal : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_SignRecoverInit : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_OBJECT_HANDLE.t ->
    CK_RV.t F.return)
    F.fn

Source

val c_SignRecover : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_VerifyInit : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_OBJECT_HANDLE.t ->
    CK_RV.t F.return)
    F.fn

Source

val c_Verify : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Source

val c_VerifyUpdate : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Source

val c_VerifyFinal : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Source

val c_VerifyRecoverInit : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_OBJECT_HANDLE.t ->
    CK_RV.t F.return)
    F.fn

Source

val c_VerifyRecover : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_DigestEncryptUpdate : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_DecryptDigestUpdate : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_SignEncryptUpdate : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_DecryptVerifyUpdate : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_GenerateKey : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_ATTRIBUTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_OBJECT_HANDLE.t Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_GenerateKeyPair : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_ATTRIBUTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_ATTRIBUTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_OBJECT_HANDLE.t Ctypes_static.ptr ->
    CK_OBJECT_HANDLE.t Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_WrapKey : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_OBJECT_HANDLE.t ->
    CK_OBJECT_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_UnwrapKey : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_OBJECT_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_ATTRIBUTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_OBJECT_HANDLE.t Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_DeriveKey : 
  (CK_SESSION_HANDLE.t ->
    CK_MECHANISM.t Ctypes_static.ptr ->
    CK_OBJECT_HANDLE.t ->
    CK_ATTRIBUTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_OBJECT_HANDLE.t Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

Source

val c_SeedRandom : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Source

val c_GenerateRandom : 
  (CK_SESSION_HANDLE.t ->
    CK_BYTE.t Ctypes_static.ptr ->
    Unsigned.ulong ->
    CK_RV.t F.return)
    F.fn

Sourceval c_GetFunctionStatus : (CK_SESSION_HANDLE.t -> CK_RV.t F.return) F.fn

Sourceval c_CancelFunction : (CK_SESSION_HANDLE.t -> CK_RV.t F.return) F.fn

Source

val c_WaitForSlotEvent : 
  (CK_FLAGS.t ->
    CK_SLOT_ID.t Ctypes_static.ptr ->
    unit Ctypes_static.ptr ->
    CK_RV.t F.return)
    F.fn

package pkcs11-driver

Module CK.TFSource

Parameters

Signature

Module `CK.TF`Source