extern inline unsigned long fix_to_virt(const unsigned int idx) 
static inline unsigned long fix_to_virt(const unsigned int idx) 
extern inline unsigned long fix_to_virt(const unsigned int idx){	/*	 * this branch gets completely eliminated after inlining,	 * except when someone tries to use fixaddr indices in an	 * illegal way. (such as mixing up address types or using	 * out-of-range indices).	 *	 * If it doesn't get removed, the linker will complain	 * loudly with a reasonably clear error message..	 */	if (idx >= __end_of_fixed_addresses)		__this_fixmap_does_not_exist();        return __fix_to_virt(idx);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9c0aa0f9a16557a3dd9b7b0d39bc67ddf1fa0b32/fixmap.h/buggy/include/asm-x86_64/fixmap.h