Searched defs:vlmax (Results 1 – 2 of 2) sorted by relevance
122 uint32_t vlmax = vext_get_vlmax(cpu->cfg.vlenb, vsew, lmul); in riscv_get_tb_cpu_state() local
40 int vlmax, vl; in HELPER() local