result_high        38 arch/powerpc/include/asm/time.h 	u64 result_high;
result_high      1109 arch/powerpc/kernel/time.c 	for (shift = 0; res.result_high != 0; ++shift) {
result_high      1110 arch/powerpc/kernel/time.c 		scale = (scale >> 1) | (res.result_high << 63);
result_high      1111 arch/powerpc/kernel/time.c 		res.result_high >>= 1;
result_high      1175 arch/powerpc/kernel/time.c 	dr->result_high = ((u64)w << 32) + x;