1 /* linux/arch/arm/mach-s5p6440/include/mach/tick.h
3 * Copyright (c) 2009 Samsung Electronics Co., Ltd.
4 * http://www.samsung.com/
6 * S5P6440 - Timer tick support definitions
8 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License version 2 as
10 * published by the Free Software Foundation.
13 #ifndef __ASM_ARCH_TICK_H
14 #define __ASM_ARCH_TICK_H __FILE__
16 static inline u32
s3c24xx_ostimer_pending(void)
18 u32 pend
= __raw_readl(VA_VIC0
+ VIC_RAW_STATUS
);
19 return pend
& (1 << (IRQ_TIMER4_VIC
- S5P_IRQ_VIC0(0)));
22 #define TICK_MAX (0xffffffff)
24 #endif /* __ASM_ARCH_TICK_H */