Replace the old IRQ dispatcher and IPC notifier with new implementation.
[helenos.git] / kernel / arch / ia64 / src / 
tree603fa4ccee7b083c4e4d0c0b34008db55d744b65
drwxr-xr-x   ..
-rw-r--r-- 4523 asm.S
-rw-r--r-- 6154 context.S
drwxr-xr-x - cpu
drwxr-xr-x - ddi
drwxr-xr-x - drivers
-rw-r--r-- 1608 dummy.s
-rw-r--r-- 11651 fpu_context.c
-rw-r--r-- 4213 ia64.c
-rw-r--r-- 7138 interrupt.c
-rw-r--r-- 15920 ivt.S
drwxr-xr-x - mm
drwxr-xr-x - proc
-rw-r--r-- 1620 putchar.c
drwxr-xr-x - ski
-rw-r--r-- 3554 start.S