__hal_device_rti_configure
__hal_device_rti_configure(xge_hal_device_t *hldev, int runtime);
return __hal_device_rti_configure(hldev, 1);
status = __hal_device_rti_configure(hldev, 0);
(void) __hal_device_rti_configure(hldev, 1);
(void) __hal_device_rti_configure(hldev, 1);
(void) __hal_device_rti_configure(hldev, 1);