1 // SPDX-License-Identifier: GPL-2.0 2 3 #include <linux/bug.h> 4 rust_helper_BUG(void)5 __noreturn void rust_helper_BUG(void) 6 { 7 BUG(); 8 } 9