HFI1: use DWARF generated headers for user_sdma_request and user_sdma_txreq

2018-02-09 10:48:31 +09:00
parent 0e57c715ad
commit 238e346586
7 changed files with 164 additions and 149 deletions
--- a/kernel/mem.c
+++ b/kernel/mem.c
@@ -1214,7 +1214,7 @@ static void page_fault_handler(void *fault_addr, uint64_t reason, void *regs)
 				"mapped on demand\n",
 				__FUNCTION__, virt, phys);

-		flush_tlb_single(virt);
+		flush_tlb_single((unsigned long)virt);
 		error = 0;
 		goto out;
 	}