134 int arm_get_rotpk_info(void *cookie __unused, void **key_ptr,  in arm_get_rotpk_info()
142 int arm_get_rotpk_info(void *cookie, void **key_ptr, unsigned int *key_len,  in arm_get_rotpk_info()  argument
151 	if (cookie == NULL) {  in arm_get_rotpk_info()
153 	} else if (strcmp(cookie, PROT_PK_OID) == 0) {  in arm_get_rotpk_info()
168 int arm_get_rotpk_info(void *cookie, void **key_ptr, unsigned int *key_len,  in arm_get_rotpk_info()  argument
177 	if (cookie == NULL) {  in arm_get_rotpk_info()
179 	} else if (strcmp(cookie, PROT_PK_OID) == 0) {  in arm_get_rotpk_info()
186 	} else if (strcmp(cookie, SWD_ROT_PK_OID) == 0) {  in arm_get_rotpk_info()
207 int plat_get_nv_ctr(void *cookie, unsigned int *nv_ctr)  in plat_get_nv_ctr()  argument
212 	assert(cookie != NULL);  in plat_get_nv_ctr()
215 	oid = (const char *)cookie;  in plat_get_nv_ctr()
239 int plat_set_nv_ctr(void *cookie, unsigned int nv_ctr)  in plat_set_nv_ctr()  argument