Searched refs:dki_data_64 (Results 1 – 8 of 8) sorted by relevance
221 #define dki_data_64 dki_un._dki_data_64 macro
258 dk_ioc.dki_data_64 = (uint64_t)(uintptr_t)dk_ioc.dki_data; in vdev_disk_get_space()
1496 ptr = (char *)(uintptr_t)efi.dki_data_64; in zvol_getefi()
255 dk_ioc->dki_data_64 = (uint64_t)(uintptr_t)data; in efi_ioctl()
373 dk_ioc->dki_data_64 = (uint64_t)(uintptr_t)data; in efi_ioctl()
2548 efi.dki_data = (void *)(uintptr_t)efi.dki_data_64; in sv_fix_dkiocgetefi()
4121 user_efi.dki_data = (void *)(uintptr_t)user_efi.dki_data_64;4940 user_efi.dki_data = (void *)(uintptr_t)user_efi.dki_data_64;
4467 dk_ioc->dki_data_64 = (uintptr_t)data;