ARM: S5P6440: Add Timer support

/* linux/arch/arm/mach-s5p6440/include/mach/pwm-clock.h

 *

 * Copyright 2008 Simtec Electronics

 *      Ben Dooks <ben@simtec.co.uk>

 *      http://armlinux.simtec.co.uk/

 *

 * Copyright 2009 Samsung Electronics Co., Ltd.

 *		http://www.samsung.com/

 *

 * S5P6440 - pwm clock and timer support

 *

 * This program is free software; you can redistribute it and/or modify

 * it under the terms of the GNU General Public License version 2 as

 * published by the Free Software Foundation.

*/

/**

 * pwm_cfg_src_is_tclk() - return whether the given mux config is a tclk

 * @cfg: The timer TCFG1 register bits shifted down to 0.

 *

 * Return true if the given configuration from TCFG1 is a TCLK instead

 * any of the TDIV clocks.

 */

static inline int pwm_cfg_src_is_tclk(unsigned long tcfg)

{

	return tcfg == S3C2410_TCFG1_MUX_TCLK;

}

/**

 * tcfg_to_divisor() - convert tcfg1 setting to a divisor

 * @tcfg1: The tcfg1 setting, shifted down.

 *

 * Get the divisor value for the given tcfg1 setting. We assume the

 * caller has already checked to see if this is not a TCLK source.

 */

static inline unsigned long tcfg_to_divisor(unsigned long tcfg1)

{

	return 1 << (1 + tcfg1);

}

/**

 * pwm_tdiv_has_div1() - does the tdiv setting have a /1

 *

 * Return true if we have a /1 in the tdiv setting.

 */

static inline unsigned int pwm_tdiv_has_div1(void)

{

	return 0;

}

/**

 * pwm_tdiv_div_bits() - calculate TCFG1 divisor value.

 * @div: The divisor to calculate the bit information for.

 *

 * Turn a divisor into the necessary bit field for TCFG1.

 */

static inline unsigned long pwm_tdiv_div_bits(unsigned int div)

{

	return ilog2(div) - 1;

}

#define S3C_TCFG1_MUX_TCLK S3C2410_TCFG1_MUX_TCLK

/* linux/arch/arm/mach-s5p6440/include/mach/tick.h

 *

 * Copyright (c) 2009 Samsung Electronics Co., Ltd.

 *		http://www.samsung.com/

 *

 * S5P6440 - Timer tick support definitions

 *

 * This program is free software; you can redistribute it and/or modify

 * it under the terms of the GNU General Public License version 2 as

 * published by the Free Software Foundation.

*/

#ifndef __ASM_ARCH_TICK_H

#define __ASM_ARCH_TICK_H __FILE__

static inline u32 s3c24xx_ostimer_pending(void)

{

	u32 pend = __raw_readl(S5P_VA_VIC0 + VIC_RAW_STATUS);

	return pend & (1 << (IRQ_TIMER4_VIC - S5P_IRQ_VIC0(0)));

}

#define TICK_MAX	(0xffffffff)

#endif /* __ASM_ARCH_TICK_H */