278 TEE_Result ls_sfp_get_ouid(uint32_t index, uint32_t *ouid)  in ls_sfp_get_ouid()  argument
288 	if (index >= ARRAY_SIZE(sfp_regs->ouidr)) {  in ls_sfp_get_ouid()
290 		     index, ARRAY_SIZE(sfp_regs->ouidr));  in ls_sfp_get_ouid()
294 	*ouid = io_read32((vaddr_t)&sfp_regs->ouidr[index]);  in ls_sfp_get_ouid()
315 TEE_Result ls_sfp_get_srkh(uint32_t index, uint32_t *srkh)  in ls_sfp_get_srkh()  argument
325 	if (index >= ARRAY_SIZE(sfp_regs->srkhr)) {  in ls_sfp_get_srkh()
327 		     index, ARRAY_SIZE(sfp_regs->srkhr));  in ls_sfp_get_srkh()
331 	*srkh = io_read32((vaddr_t)&sfp_regs->srkhr[index]);  in ls_sfp_get_srkh()
380 TEE_Result ls_sfp_set_ouid(uint32_t index, uint32_t ouid)  in ls_sfp_set_ouid()  argument
387 	if (index >= ARRAY_SIZE(sfp_regs->ouidr)) {  in ls_sfp_set_ouid()
389 		     index, ARRAY_SIZE(sfp_regs->ouidr));  in ls_sfp_set_ouid()
393 	io_write32((vaddr_t)&sfp_regs->ouidr[index], ouid);  in ls_sfp_set_ouid()