1/* linux/arch/arm/mach-s5p6440/include/mach/tick.h 2 * 3 * Copyright (c) 2009 Samsung Electronics Co., Ltd. 4 * http://www.samsung.com/ 5 * 6 * S5P6440 - Timer tick support definitions 7 * 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. 11*/ 12 13#ifndef __ASM_ARCH_TICK_H 14#define __ASM_ARCH_TICK_H __FILE__ 15 16static inline u32 s3c24xx_ostimer_pending(void) 17{ 18 u32 pend = __raw_readl(VA_VIC0 + VIC_RAW_STATUS); 19 return pend & (1 << (IRQ_TIMER4_VIC - S5P_IRQ_VIC0(0))); 20} 21 22#define TICK_MAX (0xffffffff) 23 24#endif /* __ASM_ARCH_TICK_H */ 25