Ia32/DivS64x64Remainder.c is not tool-chain specific, it supports both gcc and msft...
drwxr-xr-x - docs
drwxr-xr-x - edk2
drwxr-xr-x - www