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