Document VE_RESET and VE_CYCLE_COUNTER