Index: kernel/arch/ia64/include/mm/tlb.h
===================================================================
--- kernel/arch/ia64/include/mm/tlb.h	(revision ac47b7c2b6e75a9b9aa60b443fca9a151cf89e5c)
+++ kernel/arch/ia64/include/mm/tlb.h	(revision 50cfa6cd85f434dea3072039821d26b5943f656d)
@@ -93,4 +93,5 @@
 extern void instruction_access_bit_fault(uint64_t vector, istate_t *istate);
 extern void data_access_bit_fault(uint64_t vector, istate_t *istate);
+extern void data_access_rights_fault(uint64_t vector, istate_t *istate);
 extern void page_not_present(uint64_t vector, istate_t *istate);