Base gcc fails to compile sys/compat/ndis/subr_ndis.c for i386, with
the following -Werror warnings:
cc1: warnings being treated as errors /usr/src/sys/compat/ndis/subr_ndis.c: In function 'NdisMRegisterIoPortRange': /usr/src/sys/compat/ndis/subr_ndis.c:1288: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
This is because on i386, the casts from rman_res_t (aka uintmax_t)
to a pointer reduces the value from 64 bit to 32 bit.
For gcc, this can be fixed by an intermediate cast to uintptr_t. Note
that I am assuming the incoming values will always fit into 32 bit!