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

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddio.c63 static int lh_nodenum; variable
493 if (fscanf(ifile, "%d %d", &lh_nodenum, &vnum) != 2)
497 if (lh_nodenum==0 && vnum==0)
511 if ((lh_table=(LoadHash*)malloc(lh_nodenum*sizeof(LoadHash))) == NULL)
514 for (n=0 ; n<lh_nodenum ; n++)
519 lh_table[lh_nodenum-1].next = -1;
524 for (n=0 ; n<lh_nodenum ; n++)
544 for (n=0 ; n<lh_nodenum ; n++)
568 int hash = key % lh_nodenum;
582 int hash = lh_table[key % lh_nodenum]
[all...]

Completed in 26 milliseconds