rdvl-sme.c

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