sme_get_vl
static inline unsigned int sme_get_vl(void)
static inline unsigned int sme_get_vl(void) { return 0; }