blob: 49b0b2e08bacd6fd9eaa81ba766a9072aad4887a [file] [log] [blame]
// SPDX-License-Identifier: GPL-2.0-only
#include <stdio.h>
#include "rdvl.h"
int main(void)
{
int vl = rdvl_sme();
printf("%d\n", vl);
return 0;
}