S3C6410添加中断号

大家好！
       我想在S3C6410添加中断，在OAL层（intr.c文件内）如果有外部中断（如IRQ_EINT0），则读外部总线，然后根据读会的数据增加相应中断，但现在遇到的问题是，我怎么读取外部总线的数据，怎么对地址进行转换，我试验了OALPAtoVA（）函数，以及直接使用MmMapIoSpace（）函数，都不行，请问怎么在OAL层读取外部总线数据？