1234567891011121314// SPDX-License-Identifier: GPL-2.0 #include <linux/bug.h> __rust_helper __noreturn void rust_helper_BUG(void){ BUG();} __rust_helper bool rust_helper_WARN_ON(bool cond){ return WARN_ON(cond);}
