sve_max_buf_size
sve_max_buf_size());
sve_max_buf_size())
buf = malloc(sve_max_buf_size(), M_FPUKERN_CTX, M_WAITOK | M_ZERO);
sve_max_buf_size();
size_t sve_max_buf_size(void);