Lines Matching defs:efi
2506 * dk_efi_t->dki_data = (void *)(uintptr_t)efi.dki_data_64;
2522 dk_efi_t efi;
2544 if (ddi_copyin((void *)arg, &efi, sizeof (efi), mode)) {
2548 efi.dki_data = (void *)(uintptr_t)efi.dki_data_64;
2550 if (efi.dki_length < sizeof (gpt) + sizeof (gpe)) {
2554 if (ddi_copyin((void *)efi.dki_data, &gpt, sizeof (gpt), mode)) {
2571 if (ddi_copyin((void *)(efi.dki_data + 1), gpe, sgpe, mode)) {
2597 if ((rc == 0) && ddi_copyout(&gpt, efi.dki_data, sizeof (gpt), mode)) {
2602 if ((rc == 0) && ddi_copyout(gpe, efi.dki_data + 1, sgpe, mode)) {