__pte_error
extern void __pte_error(const char *file, int line, pte_t);
#define pte_ERROR(pte) __pte_error(__FILE__, __LINE__, pte)