|
@@ -96,9 +96,12 @@ static inline bool kern_addr_valid(unsigned long addr)
|
|
|
/* Kernel has a separate 44bit address space. */
|
|
|
#define FIRST_USER_ADDRESS 0
|
|
|
|
|
|
-#define pte_ERROR(e) __builtin_trap()
|
|
|
-#define pmd_ERROR(e) __builtin_trap()
|
|
|
-#define pgd_ERROR(e) __builtin_trap()
|
|
|
+#define pmd_ERROR(e) \
|
|
|
+ pr_err("%s:%d: bad pmd %p(%016lx) seen at (%pS)\n", \
|
|
|
+ __FILE__, __LINE__, &(e), pmd_val(e), __builtin_return_address(0))
|
|
|
+#define pgd_ERROR(e) \
|
|
|
+ pr_err("%s:%d: bad pgd %p(%016lx) seen at (%pS)\n", \
|
|
|
+ __FILE__, __LINE__, &(e), pgd_val(e), __builtin_return_address(0))
|
|
|
|
|
|
#endif /* !(__ASSEMBLY__) */
|
|
|
|