Pkcs11_mechanism_list (p.pkcs11-driver.1.0.0.doc.pkcs11-driver.Pkcs11_mechanism

Module Pkcs11_mechanism_listSource

An element of type t is a structure made of a pointer to a C array, and its length.

The reason we use this type is that some PKCS#11 functions require a two step interraction, in which one first gives a null pointer (with length 0) to a function, which modifies the length of the list. Then, the user allocates memory for this list, and performs a second call to the function.

Sourcetype t

Sourceval create : unit -> t

create () allocates a new t with length 0, and content the null pointer.

Sourceval allocate : t -> unit

allocate t updates the content of the t structure to point to freshly allocated memory.

Source

val of_raw : 
  Pkcs11_CK_MECHANISM_TYPE.t Ctypes.ptr ->
  P11_ulong.t Ctypes.ptr ->
  t

Sourcetype u = P11_mechanism_type.t list

Sourceval make : u -> t

Sourceval view : t -> u

Sourceval get_content : t -> Pkcs11_CK_MECHANISM_TYPE.t Ctypes.ptr

Sourceval get_length_addr : t -> P11_ulong.t Ctypes.ptr