1// SPDX-License-Identifier: GPL-2.0-only2 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}15
