Linux DRI Kernel Module

The XFree 4.0 documentation says
insert the XXX/tdfx.o kernel module before
starting X.

I cannot find this file anywhere in my system.
Is there really such a file or am I reading antiquated documentation.