The source file for the driver "temac_vxworks5_4_v1_00_a" contains a problem.
This is in "xtemac_end_adapter.c" in the following location of the EDK install directory:
Replaced CACHE_DRV_FLUSH with CACHE_USER_FLUSH in temac driver adapters 1.00a and 2.00a.
This problem has been fixed in the latest EDK 8.2i Service Pack, available at:
The first service pack containing the fix is EDK 8.2i Service Pack 1.