xref: /linux/tools/verification/rvgen/rvgen/templates/container/main.h (revision ccb21fc879636f9197b29908895174218e11d8ef)

/* SPDX-License-Identifier: GPL-2.0 */

extern struct rv_monitor rv_%%MODEL_NAME%%;