drivers/clocksource/timer-ixp4xx.c

102

val = __raw_readl(tmr->base + IXP4XX_OSRT1_OFFSET);

drivers/clocksource/timer-ixp4xx.c

106

tmr->base + IXP4XX_OSRT1_OFFSET);

drivers/clocksource/timer-ixp4xx.c

116

val = __raw_readl(tmr->base + IXP4XX_OSRT1_OFFSET);

drivers/clocksource/timer-ixp4xx.c

118

__raw_writel(val, tmr->base + IXP4XX_OSRT1_OFFSET);

drivers/clocksource/timer-ixp4xx.c

128

tmr->base + IXP4XX_OSRT1_OFFSET);

drivers/clocksource/timer-ixp4xx.c

140

__raw_writel(val, tmr->base + IXP4XX_OSRT1_OFFSET);

drivers/clocksource/timer-ixp4xx.c

150

val = __raw_readl(tmr->base + IXP4XX_OSRT1_OFFSET);

drivers/clocksource/timer-ixp4xx.c

152

__raw_writel(val, tmr->base + IXP4XX_OSRT1_OFFSET);

drivers/clocksource/timer-ixp4xx.c

187

__raw_writel(0, tmr->base + IXP4XX_OSRT1_OFFSET);