Defined in 2 files as a prototype:

• external/lgpl3/gmp/dist/tune/div_qr_1_tune.c, line 35 (as a prototype)
• external/lgpl3/gmp/dist/tune/speed.h, line 481 (as a prototype)

Referenced in 3 files:

• external/lgpl3/gmp/dist/tune/common.c, line 714
• external/lgpl3/gmp/dist/tune/div_qr_1_tune.c, line 40
• external/lgpl3/gmp/dist/tune/div_qr_1n_pi1_1.c, line 36