Here is a list of all macros with links to the files they belong to:

- g -

• GET_BIT_INTERVALS : bitwise_bounds.h
• GET_FLOAT_WORD : cprover_libc_sources.cpp, libm.h
• GET_HIGH_WORD : cprover_libc_sources.cpp, libm.h
• GET_LOW_WORD : cprover_libc_sources.cpp, libm.h
• GFP_ATOMIC : gfp.h
• GFP_DMA : gfp.h
• GFP_DMA32 : gfp.h
• GFP_HIGHUSER : gfp.h
• GFP_HIGHUSER_MOVABLE : gfp.h
• GFP_KERNEL : gfp.h
• GFP_KERNEL_ACCOUNT : gfp.h
• GFP_MOVABLE_MASK : gfp.h
• GFP_MOVABLE_SHIFT : gfp.h
• GFP_NOFS : gfp.h
• GFP_NOIO : gfp.h
• GFP_NOWAIT : gfp.h
• GFP_TRANSHUGE : gfp.h
• GFP_TRANSHUGE_LIGHT : gfp.h
• GFP_USER : gfp.h
• GNUC_PREREQ : compiler_defs.h
• GOTO_BINARY_VERSION : write_goto_binary.h
• GPU_threads : call_kernel.h