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