1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
/*
* (C) Finite State Machine Labs Inc. 1999 <business@fsmlabs.com>
*
* Released under the terms of GPL 2.
* Open RTLinux makes use of a patented process described in
* US Patent 5,995,745. Use of this process is governed
* by the Open RTLinux Patent License which can be obtained from
* www.fsmlabs.com/PATENT or by sending email to
* licensequestions@fsmlabs.com
*/
#ifndef _ALPHA_ARCH_H
#define _ALPHA_ARCH_H
#include <linux/irq.h>
#include <linux/config.h>
#include <arch/constants.h>
#include <rtl_core.h>
#ifndef CONFIG_RTLINUX
#error CONFIG_RTLINUX is not set in the kernel source
#endif
#define RTL_NR_IRQS ACTUAL_NR_IRQS
extern void (*hard_do_IRQ)(unsigned long, struct pt_regs *);
/*
* this is in arch/alpha/kernel/irq_impl.h so we have our own
* prototype here -- Cort
*/
extern void (*handle_irq)(unsigned long, struct pt_regs *);
extern void (*handle_ipi)(struct pt_regs *);
extern int last_irq[NR_CPUS];
extern int last_local[NR_CPUS];
extern void (*hard_smp_percpu_timer_interrupt)(struct pt_regs *);
extern void (*smp_percpu_timer_interrupt)(struct pt_regs *);
extern void (*hard_handle_ipi)(struct pt_regs *);
/*
* Global dispatch functions
*/
#define dispatch_linux_irq(regs,irq) { hard_do_IRQ(irq,regs); }
extern __inline__ void soft_dispatch_global(unsigned int irq)
{
struct pt_regs regs;
hard_do_IRQ(irq,®s);
}
#define ARCH_DEFINED_ENABLE (IPL_MIN)
#define ARCH_DEFINED_DISABLE (IPL_MAX)
extern irq_desc_t rtl_hard_irq_desc[NR_IRQS];
#define rtl_irq_controller_enable(irq) \
({ if (rtl_hard_irq_desc[irq].handler && rtl_hard_irq_desc[irq].handler->enable) \
rtl_hard_irq_desc[irq].handler->enable(irq); })
#define rtl_irq_controller_disable(irq) \
({ if (rtl_hard_irq_desc[irq].handler && rtl_hard_irq_desc[irq].handler->disable) \
rtl_hard_irq_desc[irq].handler->disable(irq); })
#define rtl_irq_controller_get_irq(regs) \
({ int i = last_irq[cpu_id]; last_irq[cpu_id] = -1; i; })
#define rtl_irq_controller_ack(irq) \
({ if (rtl_hard_irq_desc[irq].handler && rtl_hard_irq_desc[irq].handler->ack) \
rtl_hard_irq_desc[irq].handler->ack(irq); })
#define rtl_local_irq_controller_ack() { }
#define LOCAL_TIMER_VECTOR 1
#define LOCAL_IPI_VECTOR 2
#define dispatch_local_linux_irq(regs,pnd) { \
if ( pnd == LOCAL_TIMER_VECTOR ) \
hard_smp_percpu_timer_interrupt(regs); \
else if ( pnd == LOCAL_IPI_VECTOR) \
hard_handle_ipi(regs); \
else \
printk("dispatch_local_linux_irq(): unknown pnd %d\n", pnd); \
}
#define dispatch_rtl_local_handler(pnd,regs) /* not used */
extern __inline__ void soft_dispatch_local(unsigned int irq)
{
struct pt_regs regs;
dispatch_local_linux_irq(®s,irq);
}
#endif /* _ALPHA_ARCH_H */
|
