Searched refs:vki_crypto_get_provider_list_t (Results 1 – 2 of 2) sorted by relevance
340 #define vki_crypto_get_provider_list_t crypto_get_provider_list_t macro
3256 vki_crypto_get_provider_list_t *pl = in PRE()3257 (vki_crypto_get_provider_list_t *) ARG3; in PRE()3264 sizeof(vki_crypto_get_provider_list_t)); in PRE()3468 vki_crypto_get_provider_list_t *pl = in POST()3469 (vki_crypto_get_provider_list_t *) ARG3; in POST()