HelenOS sources

data_access_rights_fault   94 kernel/arch/ia64/include/arch/mm/tlb.h extern void data_access_rights_fault(unsigned int, istate_t *);
data_access_rights_fault  337 kernel/arch/ia64/src/interrupt.c 	    data_access_rights_fault);