ddi.c

#include <libarch/ddi.h>
#include <sysinfo.h>

uint64_t ia64_iospace_address = 0;

uint64_t get_ia64_iospace_address(void)
{
        sysarg_t addr;
        if (sysinfo_get_value("ia64_iospace.address.virtual", &addr) != 0)
                addr = 0;
        
        return addr;
}

---