IDT_ISLTL_ADDRESS_CAP
IDT_ISLTL_ADDRESS_CAP, ®val);
rio_write_config_32(rdev, IDT_ISLTL_ADDRESS_CAP, 0);