Searched refs:number_of_drivers (Results 1 – 1 of 1) sorted by relevance
1042 efi_uintn_t *number_of_drivers, in efi_get_drivers() argument1064 *number_of_drivers = 0; in efi_get_drivers()1077 for (i = 0; i < *number_of_drivers; ++i) { in efi_get_drivers()1084 i = (*number_of_drivers)++; in efi_get_drivers()1111 efi_uintn_t number_of_drivers; in efi_disconnect_all_drivers() local1115 ret = efi_get_drivers(efiobj, protocol, &number_of_drivers, in efi_disconnect_all_drivers()1121 while (number_of_drivers) { in efi_disconnect_all_drivers()1124 driver_handle_buffer[--number_of_drivers], in efi_disconnect_all_drivers()