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

uint64_t ia64_iospace_address=0;


uint64_t get_ia64_iospace_address(void)
{

	return sysinfo_value("ia64_iospace.address.virtual");

}