Symbol: vmw_overlay_num_free_overlays