Searched refs:va_user (Results 1 – 1 of 1) sorted by relevance
248 vaddr_t va_user, size_t offs_bytes, in binh_copy_to() argument272 (void *)va_user, rb); in binh_copy_to()277 if (va_user) { in binh_copy_to()278 res = clear_user((uint8_t *)va_user + rb, in binh_copy_to()286 (void *)va_user, num_bytes); in binh_copy_to()