1*cb85c660SGabriele Monaco /* SPDX-License-Identifier: GPL-2.0 */ 2*cb85c660SGabriele Monaco 3*cb85c660SGabriele Monaco extern struct rv_monitor rv_sched; 4