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