1*a0f2eb64SMark Brown // SPDX-License-Identifier: GPL-2.0-only
2*a0f2eb64SMark Brown 
3*a0f2eb64SMark Brown #include <stdio.h>
4*a0f2eb64SMark Brown 
5*a0f2eb64SMark Brown #include "rdvl.h"
6*a0f2eb64SMark Brown 
main(void)7*a0f2eb64SMark Brown int main(void)
8*a0f2eb64SMark Brown {
9*a0f2eb64SMark Brown 	int vl = rdvl_sme();
10*a0f2eb64SMark Brown 
11*a0f2eb64SMark Brown 	printf("%d\n", vl);
12*a0f2eb64SMark Brown 
13*a0f2eb64SMark Brown 	return 0;
14*a0f2eb64SMark Brown }
15