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