Parameters used to call genSFENCE seem to be not right

Created by: niuqiang-real

Hi there,

Here is the problem: Function(genFence) is used to issue sfence.vma instruction, here is its definition:

One of the parameter is pte_value_reg_index, which I believe is the register to hold the value of pte. But when it comes to the function call:

Here I believe pte_level_reg_index is the register to hold pte level, the parameters seem not to match. Is this a bug or some part of my understanding is not right?

Thanks