__hal_device_config_check_xena
__hal_device_config_check_xena (xge_hal_device_config_t *new_config);
status = __hal_device_config_check_xena(device_config);