ARM Generic Interrupt Spec, refenrence manual for arm operating sytem development