Searched refs:it_num_lines_tmp (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/drivers/pl390_dist/
H A Dmain.c74 uint32_t it_num_lines_tmp = local
76 ds->it_num_lines = 32*(it_num_lines_tmp + 1);

Completed in 76 milliseconds