__compiletime_error
__compiletime_error("VDSO should not call smp_processor_id()");
__compiletime_error("Bad argument size for cmpxchg");
__compiletime_error("cmpxchg64 not available; cpu_has_64bits may be false");
__compiletime_error("Bad argument size for xchg");
__compiletime_error("save_fp() should not be called when CONFIG_MIPS_FP_SUPPORT=n");
__compiletime_error("_save_fp() should not be called when CONFIG_MIPS_FP_SUPPORT=n");
__compiletime_error("restore_fp() should not be called when CONFIG_MIPS_FP_SUPPORT=n");
__compiletime_error("_restore_fp() should not be called when CONFIG_MIPS_FP_SUPPORT=n");
__compiletime_error("get_fpu_regs() should not be called when CONFIG_MIPS_FP_SUPPORT=n");
__compiletime_error("Bad size for CPS accessor");
__compiletime_error("VDSO should not call smp_processor_id()");
__compiletime_error("Unsupported unroll"); \
__compiletime_error("Bad argument size for cmpxchg");
__compiletime_error("Bad argument size for xchg");
__compiletime_error("Bad argument size for xchg");
__compiletime_error("Bad argument size for cmpxchg");
__compiletime_error("Bad argument size for xadd");
__compiletime_error("Bad argument size for add");
__compiletime_error("inb()) requires CONFIG_HAS_IOPORT");
__compiletime_error("inw() requires CONFIG_HAS_IOPORT");
__compiletime_error("inl() requires CONFIG_HAS_IOPORT");
__compiletime_error("outb() requires CONFIG_HAS_IOPORT");
__compiletime_error("outw() requires CONFIG_HAS_IOPORT");
__compiletime_error("outl() requires CONFIG_HAS_IOPORT");
__compiletime_error("insb() requires HAS_IOPORT");
__compiletime_error("insw() requires HAS_IOPORT");
__compiletime_error("insl() requires HAS_IOPORT");
__compiletime_error("outsb() requires HAS_IOPORT");
__compiletime_error("outsw() requires HAS_IOPORT");
__compiletime_error("outsl() requires HAS_IOPORT");
extern void __compiletime_error("bad bitfield mask")
__compiletime_error(msg); \
void __read_overflow(void) __compiletime_error("detected read beyond size of object (1st parameter)");
void __read_overflow2(void) __compiletime_error("detected read beyond size of object (2nd parameter)");
void __write_overflow(void) __compiletime_error("detected write beyond size of object (1st parameter)");
extern void __compiletime_error("copy destination size is too small")
__compiletime_error("Bad argument size for cmpxchg");
extern void __compiletime_error("bad bitfield mask")
extern void prefix ## suffix(void) __compiletime_error(msg); \
#ifndef __compiletime_error