Support for the Paradise PVGA1 and the Western Digital WD90C00, 90C10, 90C30, 90C24, 90C31 and 90C33 chipsets is provided by the XF86_SVGA server with the pvga1 driver. The status of the support for some of these chipsets is uncertain because we don't have any recent test reports, and this driver has no maintainer.
No native support for these chipsets, because the old driver has not been ported.
No Paradise/Western Digital chips are supported in 4.0.1.