mfgpt_get         233 arch/x86/kernel/mfgpt_32.c 				return mfgpt_get(i);
mfgpt_get         241 arch/x86/kernel/mfgpt_32.c 			return mfgpt_get(timer);