// 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);}