Use 'vm_offset_t' rather than 'u_int32_t'.
Use 'vm_offset_t' rather than 'u_int32_t'.

Tested on:	AMD64
Reviewed by:	wpaul

jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase