Searched refs:u32ptr (Results 1 – 1 of 1) sorted by relevance
777 u32 __user *u32ptr = uptr; in vmci_host_do_get_context_id() local779 return put_user(VMCI_HOST_CONTEXT_ID, u32ptr) ? -EFAULT : 0; in vmci_host_do_get_context_id()