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