Searched refs:kaddr_to_uref (Results 1 – 3 of 3) sorted by relevance
300 uint32_t ref = kaddr_to_uref(kaddr); in copy_kaddr_to_uref()305 uint32_t kaddr_to_uref(void *kaddr) in kaddr_to_uref() function
185 res = thread_enter_user_mode(func, kaddr_to_uref(session), in user_ta_enter()
162 uint32_t kaddr_to_uref(void *kaddr);