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