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

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Disa2014.c18 int g(int *iptr) argument
20 return iptr ? *iptr : 0;
H A Dmultidim_arrays.c26 int g1(int *iptr) argument
28 return iptr? *iptr : 0;
H A Dummbug20100217.c27 int h(int *iptr) argument
29 return g(*iptr, globkarray);
H A Dfncall.c74 int *iptr = h(); local
75 return iptr[3];
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure20510 typedef const int *iptr;
20511 iptr p = 0;

Completed in 105 milliseconds