pmd_bad2
static inline int pmd_bad2(pmd_t *pmd) { return 0; }
static inline int pmd_bad2 (pmd_t *pmd) { return 0; }