298 TEE_Result copy_kaddr_to_uref(uint32_t *uref, void *kaddr)  in copy_kaddr_to_uref()  argument
302 	return copy_to_user_private(uref, &ref, sizeof(ref));  in copy_kaddr_to_uref()
309 		vaddr_t uref = memtag_strip_tag_vaddr(kaddr);  in kaddr_to_uref()  local
311 		uref -= VCORE_START_VA;  in kaddr_to_uref()
312 		assert(uref < (UINT32_MAX >> MEMTAG_TAG_WIDTH));  in kaddr_to_uref()
313 		uref |= (vaddr_t)memtag_get_tag(kaddr) << uref_tag_shift;  in kaddr_to_uref()
314 		return uref;  in kaddr_to_uref()
321 vaddr_t uref_to_vaddr(uint32_t uref)  in uref_to_vaddr()  argument
324 		vaddr_t u = uref & (UINT32_MAX >> MEMTAG_TAG_WIDTH);  in uref_to_vaddr()
326 		uint8_t tag = uref >> uref_tag_shift;  in uref_to_vaddr()
331 	return VCORE_START_VA + uref;  in uref_to_vaddr()