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

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dummbug20100217.c21 int g(int n, struct k *kptr) argument
23 return n + kptr->b;
H A Dparse_struct_array.c43 int g(struct u* uptr, int n, struct k *kptr) argument
45 return uptr->array[n].x + (kptr ? kptr->b : 0);

Completed in 86 milliseconds