|
@@ -126,8 +126,8 @@ static inline int pgd_large(pgd_t pgd) { return 0; }
|
|
|
/* x86-64 always has all page tables mapped. */
|
|
|
#define pte_offset_map(dir, address) pte_offset_kernel((dir), (address))
|
|
|
#define pte_offset_map_nested(dir, address) pte_offset_kernel((dir), (address))
|
|
|
-#define pte_unmap(pte) /* NOP */
|
|
|
-#define pte_unmap_nested(pte) /* NOP */
|
|
|
+#define pte_unmap(pte) ((void)(pte))/* NOP */
|
|
|
+#define pte_unmap_nested(pte) ((void)(pte)) /* NOP */
|
|
|
|
|
|
#define update_mmu_cache(vma, address, ptep) do { } while (0)
|
|
|
|