diff --git a/lib/libddekit/src/resource.c b/lib/libddekit/src/resource.c
index ae7e1232e..8af8ccadb 100644
--- a/lib/libddekit/src/resource.c
+++ b/lib/libddekit/src/resource.c
@@ -73,7 +73,7 @@ PUBLIC int ddekit_release_mem(ddekit_addr_t start, ddekit_addr_t size)
 /*      ddekit_inb                                                          */
 /****************************************************************************/
 PUBLIC unsigned char ddekit_inb(ddekit_addr_t port) { 
-	unsigned long ret;
+	u32_t ret;
 	if (sys_inb(port, &ret)) {
 		ddekit_panic("sys_inb failed.");
 	}
@@ -85,7 +85,7 @@ PUBLIC unsigned char ddekit_inb(ddekit_addr_t port) {
 /*      ddekit_inw                                                          */
 /****************************************************************************/
 PUBLIC unsigned short ddekit_inw(ddekit_addr_t port) { 
-	unsigned long ret;
+	u32_t ret;
 	if (sys_inw(port, &ret)) {
 		ddekit_panic("sys_inw failed.");
 	}
@@ -97,7 +97,7 @@ PUBLIC unsigned short ddekit_inw(ddekit_addr_t port) {
 /*      ddekit_inl                                                          */
 /****************************************************************************/
 PUBLIC unsigned long ddekit_inl(ddekit_addr_t port){ 
-	unsigned long ret; 
+	u32_t ret;
 	if (sys_inl(port, &ret)) { 
 		ddekit_panic("sys_outl failed.");
 	}