wdc_head          151 dev/ic/wdc.c   static unsigned int wdc_head = 0;
wdc_head          162 dev/ic/wdc.c   	unsigned int head = wdc_head;
wdc_head          218 dev/ic/wdc.c   	wdc_head = (head + request_size) % wdc_log_cap;
wdc_head          231 dev/ic/wdc.c   	unsigned int head = wdc_head;