Symbol: vmm_pv_wall_clock