85 					efi_handle_t child_handle);
1109 				efi_handle_t child_handle)  in efi_disconnect_all_drivers()  argument
1125 				child_handle));  in efi_disconnect_all_drivers()
2913 				efi_handle_t child_handle)  in efi_disconnect_controller()  argument
2923 		  child_handle);  in efi_disconnect_controller()
2931 	if (child_handle && !efi_search_obj(child_handle)) {  in efi_disconnect_controller()
2938 		r = efi_disconnect_all_drivers(efiobj, NULL, child_handle);  in efi_disconnect_controller()
2943 	if (child_handle) {  in efi_disconnect_controller()
2945 		child_handle_buffer = &child_handle;  in efi_disconnect_controller()
2971 	if (!child_handle)  in efi_disconnect_controller()
2986 	if (!child_handle)  in efi_disconnect_controller()