Index: uspace/srv/net/netif/dp8390/dp8390_module.c
===================================================================
--- uspace/srv/net/netif/dp8390/dp8390_module.c	(revision 9c9c6a9b643e174ec115da13d7e7545e5323bedc)
+++ uspace/srv/net/netif/dp8390/dp8390_module.c	(revision 48f01d8e6e4ff1b0b62f2ccff69aa6b831d1766f)
@@ -280,5 +280,5 @@
 	if( device->state != NETIF_ACTIVE ){
 		dep = ( dpeth_t * ) device->specific;
-		dp8390_cmds[ 0 ].addr = ( void * ) ( uint32_t ) ( dep->de_dp8390_port + DP_ISR );
+		dp8390_cmds[ 0 ].addr = ( void * ) ( uintptr_t ) ( dep->de_dp8390_port + DP_ISR );
 		dp8390_cmds[ 2 ].addr = dp8390_cmds[ 0 ].addr;
 		ERROR_PROPAGATE( ipc_register_irq( dep->de_irq, device->device_id, device->device_id, & dp8390_code ));