Searched refs:number_of_drivers (Results 1 – 1 of 1) sorted by relevance
1074 efi_uintn_t *number_of_drivers, in efi_get_drivers() argument1096 *number_of_drivers = 0; in efi_get_drivers()1109 for (i = 0; i < *number_of_drivers; ++i) { in efi_get_drivers()1116 i = (*number_of_drivers)++; in efi_get_drivers()1144 efi_uintn_t number_of_drivers; in efi_disconnect_all_drivers() local1148 ret = efi_get_drivers(handle, protocol, &number_of_drivers, in efi_disconnect_all_drivers()1154 while (number_of_drivers) { in efi_disconnect_all_drivers()1157 driver_handle_buffer[--number_of_drivers], in efi_disconnect_all_drivers()