x86-64: don't set the early IDT to point directly to 'early_idt_handler'
[linux-2.6/cjktty.git] / drivers / mailbox / 
tree35eaf90d7900c4095554ed44530f5e7723542e0a
drwxr-xr-x   ..
-rw-r--r-- 654 Kconfig
-rw-r--r-- 40 Makefile
-rw-r--r-- 5218 pl320-ipc.c