264   AvbIOResult result = AVB_IO_RESULT_OK;  in avb_atx_validate_vbmeta_public_key()  local
275   result = ops->atx_ops->read_permanent_attributes(ops->atx_ops,  in avb_atx_validate_vbmeta_public_key()
277   if (result != AVB_IO_RESULT_OK) {  in avb_atx_validate_vbmeta_public_key()
279     return result;  in avb_atx_validate_vbmeta_public_key()
281   result = ops->atx_ops->read_permanent_attributes_hash(  in avb_atx_validate_vbmeta_public_key()
283   if (result != AVB_IO_RESULT_OK) {  in avb_atx_validate_vbmeta_public_key()
285     return result;  in avb_atx_validate_vbmeta_public_key()
304   result = ops->read_rollback_index(  in avb_atx_validate_vbmeta_public_key()
306   if (result != AVB_IO_RESULT_OK) {  in avb_atx_validate_vbmeta_public_key()
308     return result;  in avb_atx_validate_vbmeta_public_key()
317   result = ops->read_rollback_index(  in avb_atx_validate_vbmeta_public_key()
319   if (result != AVB_IO_RESULT_OK) {  in avb_atx_validate_vbmeta_public_key()
321     return result;  in avb_atx_validate_vbmeta_public_key()
360   AvbIOResult result = AVB_IO_RESULT_OK;  in avb_atx_generate_unlock_challenge()  local
364   result = atx_ops->read_permanent_attributes(atx_ops, &permanent_attributes);  in avb_atx_generate_unlock_challenge()
365   if (result != AVB_IO_RESULT_OK) {  in avb_atx_generate_unlock_challenge()
367     return result;  in avb_atx_generate_unlock_challenge()
369   result = atx_ops->get_random(  in avb_atx_generate_unlock_challenge()
371   if (result != AVB_IO_RESULT_OK) {  in avb_atx_generate_unlock_challenge()
373     return result;  in avb_atx_generate_unlock_challenge()
383   return result;  in avb_atx_generate_unlock_challenge()
390   AvbIOResult result = AVB_IO_RESULT_OK;  in avb_atx_validate_unlock_credential()  local
408   result = atx_ops->read_permanent_attributes(atx_ops, &permanent_attributes);  in avb_atx_validate_unlock_credential()
409   if (result != AVB_IO_RESULT_OK) {  in avb_atx_validate_unlock_credential()
411     return result;  in avb_atx_validate_unlock_credential()
413   result = atx_ops->read_permanent_attributes_hash(atx_ops,  in avb_atx_validate_unlock_credential()
415   if (result != AVB_IO_RESULT_OK) {  in avb_atx_validate_unlock_credential()
417     return result;  in avb_atx_validate_unlock_credential()
425   result = atx_ops->ops->read_rollback_index(  in avb_atx_validate_unlock_credential()
427   if (result != AVB_IO_RESULT_OK) {  in avb_atx_validate_unlock_credential()
429     return result;  in avb_atx_validate_unlock_credential()
439   result = atx_ops->ops->read_rollback_index(  in avb_atx_validate_unlock_credential()
441   if (result != AVB_IO_RESULT_OK) {  in avb_atx_validate_unlock_credential()
443     return result;  in avb_atx_validate_unlock_credential()