Index: generic/src/lib/elf.c
===================================================================
--- generic/src/lib/elf.c	(revision 8182031663de49ec903991410c28bddb4e482f11)
+++ generic/src/lib/elf.c	(revision baafe7129927f6fcfc81c0942b4cae0a700500cb)
@@ -57,5 +57,5 @@
 static int load_segment(elf_segment_header_t *entry, elf_header_t *elf, as_t *as);
 
-static int elf_page_fault(as_area_t *area, __address addr);
+static int elf_page_fault(as_area_t *area, __address addr, pf_access_t access);
 static void elf_frame_free(as_area_t *area, __address page, __address frame);
 
@@ -226,8 +226,9 @@
  * @param area Pointer to the address space area.
  * @param addr Faulting virtual address.
+ * @param access Access mode that caused the fault (i.e. read/write/exec).
  *
  * @return AS_PF_FAULT on failure (i.e. page fault) or AS_PF_OK on success (i.e. serviced).
  */
-int elf_page_fault(as_area_t *area, __address addr)
+int elf_page_fault(as_area_t *area, __address addr, pf_access_t access)
 {
 	elf_header_t *elf = (elf_header_t *) area->backend_data[0];