1*d2912cb1SThomas Gleixner /* SPDX-License-Identifier: GPL-2.0-only */ 24baa9922SRussell King /* 34baa9922SRussell King * Copyright (C) 1995-2003 Russell King 44baa9922SRussell King */ 54baa9922SRussell King #ifndef __ASM_BUGS_H 64baa9922SRussell King #define __ASM_BUGS_H 74baa9922SRussell King 84baa9922SRussell King extern void check_writebuffer_bugs(void); 94baa9922SRussell King 10a5b9177fSRussell King #ifdef CONFIG_MMU 1126602161SRussell King extern void check_other_bugs(void); 124baa9922SRussell King #else 1326602161SRussell King #define check_other_bugs() do { } while (0) 144baa9922SRussell King #endif 154baa9922SRussell King 164baa9922SRussell King #endif 17