Searched defs:make_pointer_integer (Results 1 – 4 of 4) sorted by relevance
1134 make_pointer_integer (void *p) in make_pointer_integer() function
1353 make_pointer_integer (void *p) in make_pointer_integer() function
1363 make_pointer_integer (void *p) in make_pointer_integer() function