1VERS1.0 {
2  global:
3    __tgt_rtl_is_valid_binary;
4    __tgt_rtl_number_of_devices;
5    __tgt_rtl_init_device;
6    __tgt_rtl_load_binary;
7    __tgt_rtl_data_alloc;
8    __tgt_rtl_data_submit;
9    __tgt_rtl_data_retrieve;
10    __tgt_rtl_data_delete;
11    __tgt_rtl_run_target_team_region;
12    __tgt_rtl_run_target_region;
13  local:
14    *;
15};
16