package pkcs11-driver
-
pkcs11-driver
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package pkcs11-driver
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
An element of type t is a structure made of a pointer to a C array, and its length.
The reason we use these texts 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.
val create : unit -> tcreate () allocates a new t with length 0, and content the null pointer.
val allocate : t -> unitallocate t updates the content of the t structure to point to freshly allocated memory.
type u = Pkcs11_CK_SLOT_ID.t listval get_content : t -> Pkcs11_CK_SLOT_ID.t Ctypes.ptrval get_length_addr : t -> P11_ulong.t Ctypes.ptr