data_dirty_bit_fault 91 kernel/arch/ia64/include/arch/mm/tlb.h extern void data_dirty_bit_fault(unsigned int, istate_t *); data_dirty_bit_fault 321 kernel/arch/ia64/src/interrupt.c data_dirty_bit_fault);