write_num
int write_num = __bnx2x_get_page_write_num(bp);
for (j = 0; j < write_num; j++) {
write_num(path, num);
write_num(dev_queue_read_ahead_path, settings->read_ahead_kb);
void write_num(const char *path, unsigned long num);