1 // SPDX-License-Identifier: GPL-2.0-only
2
3 #include <stdio.h>
4
5 #include "rdvl.h"
6
7 int main(void)
8 {
9 int vl = rdvl_sme();
10
11 printf("%d\n", vl);
12
13 return 0;
14 }
15
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.