Rev 3657 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
#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");
}