Floating Point Stuff in WDK

Let’s say that a driver calls _controlfp to set the FPU control word.
In the WDK, _controlfp is provided by ieee87.obj in libcntpr.lib.
However, that module has references to __pxcptinfoptrs and
__setdefaultprecision. I can find __setdefaultprecision in libcpsx.lib,
but as near as I can tell, __pxcptinfoptrs does not exist in any kernel
library in the WDK, resulting in an unsatisfied external reference.

Modulo warnings about using floating point in a kernel driver, I need to
know what to do about this. A driver cannot rely on any floating point
state, so it seems that using _controlfp is almost mandatory.


Tim Roberts, xxxxx@probo.com
Providenza & Boekelheide, Inc.

I have no idea of the answer to this question, but “modulo” is a nice
way to put it, Tim.

mm

>> xxxxx@probo.com 2007-04-02 14:47 >>>
Let’s say that a driver calls _controlfp to set the FPU control word.
In the WDK, _controlfp is provided by ieee87.obj in libcntpr.lib.
However, that module has references to __pxcptinfoptrs and
__setdefaultprecision. I can find __setdefaultprecision in
libcpsx.lib,
but as near as I can tell, __pxcptinfoptrs does not exist in any
kernel
library in the WDK, resulting in an unsatisfied external reference.

Modulo warnings about using floating point in a kernel driver, I need
to
know what to do about this. A driver cannot rely on any floating
point
state, so it seems that using _controlfp is almost mandatory.


Tim Roberts, xxxxx@probo.com
Providenza & Boekelheide, Inc.


Questions? First check the Kernel Driver FAQ at
http://www.osronline.com/article.cfm?id=256

To unsubscribe, visit the List Server section of OSR Online at
http://www.osronline.com/page.cfm?name=ListServer