32bit pointers for 64bit driver

WINDBG
1

Hello All!

We have a 32-bit application and 64-bit driver working together.
In some IOCTLs we have embedded pointers to user mode buffers.
How can we turn those 32bit pointers into 64bit pointers that our driver can use?

Can we just do it this way:
PTR32 p32 = ioctlStruct.pointer_to_buffer;
PTR64 p64 = (PTR64)p32;

or are other steps required?

Do you Yahoo!?
Yahoo! Mail Address AutoComplete - You start. We finish.
http://promotions.yahoo.com/new_mail

2

Sorry, I sent the letter to wrong newsgroup.

— Al Shatilo wrote:
> Hello All!
>
> We have a 32-bit application and 64-bit driver working together.
> In some IOCTLs we have embedded pointers to user mode buffers.
> How can we turn those 32bit pointers into 64bit pointers that our driver can use?
>
> Can we just do it this way:
> PTR32 p32 = ioctlStruct.pointer_to_buffer;
> PTR64 p64 = (PTR64)p32;
>
> or are other steps required?
>

__________________________________
Do you Yahoo!?
Take Yahoo! Mail with you! Get it on your mobile phone.
http://mobile.yahoo.com/maildemo