27 #include <linux/kernel.h>
28 #include <linux/time.h>
29 #include <asm/machdep.h>
30 #include <asm/hw_irq.h>
36 static u64 MIC_Slow_Fast_Timer_table[] = {
37 [0 ... 7] = 0x007fc00000000000ull,
41 static u64 MIC_Slow_Next_Timer_table[] = {
42 0x0000240000000000ull,
43 0x0000268000000000ull,
44 0x000029C000000000ull,
45 0x00002D0000000000ull,
46 0x0000300000000000ull,
47 0x0000334000000000ull,
48 0x000039C000000000ull,
49 0x00003FC000000000ull,
78 value = in_be64(&pmd_regs->
pmcr);
80 value &= 0xFFFFFFFFFFFFFFF8ull;
84 out_be64(&pmd_regs->
pmcr, value);
88 value = in_be64(&pmd_regs->
pmsr) & 0x07;
89 while (value != pmode) {
91 value = in_be64(&pmd_regs->
pmsr) & 0x07;
96 pr_debug(
"had to wait %lu ms for a transition using " \
97 "pervasive unit\n", time);
111 ret = in_be64(&pmd_regs->
pmsr) & 0x07;