SVE_GET_VL
115 kernel/sys.c #ifndef SVE_GET_VL
SVE_GET_VL
2462 kernel/sys.c error = SVE_GET_VL();