| value | attribute |
attribute type bit[64:0], defined in class vmm_ral_field, |
| value_change | attribute |
attribute type event, defined in class vmm_ral_reg, |
| visited | attribute |
attribute type int, defined in class vmm_log, |
| vote | attribute |
attribute type bit, defined in class vmm_voter, |
| voters | attribute |
attribute type vmm_voter, defined in class vmm_consensus, |
| vregs | attribute |
attribute type vmm_ral_vreg, defined in class vmm_ral_block, |