Lines Matching defs:read_ptr
954 __attribute__((noinline)) int read_ptr(int *ptr)
1021 ptr_contents = read_ptr(ptr);
1032 ptr_contents = read_ptr(ptr);
1044 ptr_contents = read_ptr(ptr);
1049 ptr_contents = read_ptr(ptr);
1425 peek_result = read_ptr(ptr);
1435 peek_result = read_ptr(plain_ptr);
1479 ptr_contents = read_ptr(p1);
1508 ptr_contents = read_ptr(p1);
1541 ptr_contents = read_ptr(p1);