Searched refs:vext_get_vlmax (Results 1 – 3 of 3) sorted by relevance
673 static inline uint32_t vext_get_vlmax(RISCVCPU *cpu, target_ulong vtype) in vext_get_vlmax() function
84 uint32_t vlmax = vext_get_vlmax(cpu, env->vtype); in cpu_get_tb_cpu_state()
64 vlmax = vext_get_vlmax(cpu, s2); in HELPER()