#ifndef _INTR_CLOCK_H_
#define _INTR_CLOCK_H_

typedef int (*irq_handler_t)(int irq);

/* define of following is used for return of user ISR */
#define INT_OFF			0x100
#define INT_MSG			0x200
#define INT_PASSONLY	0x400

/* return TRUE if suceess, else error information is errno */
/* isr can be NULL */
bool_t	p_isr_attach(int irq, irq_handler_t isr, pid_t grp);
bool_t	p_isr_detach(int irq);
bool_t	p_irq_enable(int irq, bool_t enable);

/* return is timer index, if return is zero, then error information is errno */
/* isr can be NULL */
timer_t p_set_timer(clock_t minisecond, irq_handler_t isr, pid_t grp);
bool_t p_kill_timer(timer_t timer_index);
void p_sleep(clock_t minisecond);
void p_delay(u16_t microsecond);
clock_t p_gettime(void);

#endif