Symbol: vmw_overlay