@@ -1550,9 +1550,10 @@ int FTN_STDCALL FTN_GET_DEVICE_NUM(void) KMP_WEAK_ATTRIBUTE_EXTERNAL;
15501550int FTN_STDCALL FTN_GET_DEVICE_NUM (void ) {
15511551 return KMP_EXPAND_NAME (FTN_GET_INITIAL_DEVICE)();
15521552}
1553- const char *FTN_STDCALL FTN_GET_UID_FROM_DEVICE (int device_num)
1553+ const char *FTN_STDCALL KMP_EXPAND_NAME ( FTN_GET_UID_FROM_DEVICE) (int device_num)
15541554 KMP_WEAK_ATTRIBUTE_EXTERNAL;
1555- const char *FTN_STDCALL FTN_GET_UID_FROM_DEVICE (int device_num) {
1555+ const char *FTN_STDCALL
1556+ KMP_EXPAND_NAME (FTN_GET_UID_FROM_DEVICE)(int device_num) {
15561557#if KMP_OS_DARWIN || KMP_OS_WASI || defined(KMP_STUB)
15571558 return nullptr ;
15581559#else
@@ -1563,9 +1564,10 @@ const char *FTN_STDCALL FTN_GET_UID_FROM_DEVICE(int device_num) {
15631564 return " HOST" ;
15641565#endif
15651566}
1566- int FTN_STDCALL FTN_GET_DEVICE_FROM_UID (const char *device_uid)
1567+ int FTN_STDCALL KMP_EXPAND_NAME ( FTN_GET_DEVICE_FROM_UID) (const char *device_uid)
15671568 KMP_WEAK_ATTRIBUTE_EXTERNAL;
1568- int FTN_STDCALL FTN_GET_DEVICE_FROM_UID (const char *device_uid) {
1569+ int FTN_STDCALL
1570+ KMP_EXPAND_NAME (FTN_GET_DEVICE_FROM_UID)(const char *device_uid) {
15691571#if KMP_OS_DARWIN || KMP_OS_WASI || defined(KMP_STUB)
15701572 return omp_invalid_device;
15711573#else
@@ -1931,6 +1933,10 @@ KMP_VERSION_SYMBOL(FTN_SET_AFFINITY_FORMAT, 50, "OMP_5.0");
19311933// KMP_VERSION_SYMBOL(FTN_GET_SUPPORTED_ACTIVE_LEVELS, 50, "OMP_5.0");
19321934// KMP_VERSION_SYMBOL(FTN_FULFILL_EVENT, 50, "OMP_5.0");
19331935
1936+ // OMP_6.0 versioned symbols
1937+ KMP_VERSION_SYMBOL (FTN_GET_UID_FROM_DEVICE, 60 , " OMP_6.0" );
1938+ KMP_VERSION_SYMBOL (FTN_GET_DEVICE_FROM_UID, 60 , " OMP_6.0" );
1939+
19341940#endif // KMP_USE_VERSION_SYMBOLS
19351941
19361942#ifdef __cplusplus
0 commit comments