ark1668ed-bsp/linux/rust/helpers/bug.c

// SPDX-License-Identifier: GPL-2.0

#include <linux/bug.h>

__noreturn void rust_helper_BUG(void)
{
	BUG();
}