Searched refs:dki_data_64 (Results 1 – 6 of 6) sorted by relevance
241 #define dki_data_64 dki_un._dki_data_64 macro
315 dk_ioc->dki_data_64 = (uint64_t)(uintptr_t)data; in efi_ioctl()
370 dk_ioc->dki_data_64 = (uint64_t)(uintptr_t)data; in efi_ioctl()
1463 ptr = (char *)(uintptr_t)efi.dki_data_64; in zvol_getefi()
4156 user_efi.dki_data = (void *)(uintptr_t)user_efi.dki_data_64;4989 user_efi.dki_data = (void *)(uintptr_t)user_efi.dki_data_64;
4477 dk_ioc->dki_data_64 = (uintptr_t)data;