rex_kmp.h

#include <stdint.h>
#include <stddef.h>
 
typedef struct ident {
    int reserved_1;
    int flags;
    int reserved_2;
    int reserved_3;
    char const *psource;
} ident_t;
 
void __kmpc_fork_call(ident_t*, int, void*, ...);
void __kmpc_atomic_start(void);
void __kmpc_atomic_end(void);
void __kmpc_push_num_threads(ident_t*, int, int);
int __kmpc_global_thread_num(ident_t*);
int __kmpc_single(ident_t*, int);
void __kmpc_end_single(ident_t*, int);
void __kmpc_barrier(ident_t*, int);
int __kmpc_serialized_parallel(ident_t*, int);
void __kmpc_end_serialized_parallel(ident_t*, int);
void __kmpc_for_static_init_4(ident_t*, int, int, int*, int*, int*, int*, int, int);
void __kmpc_for_static_fini(ident_t*, int);
void __kmpc_dispatch_init_4(ident_t*, int, int, int, int, int, int);
int __kmpc_dispatch_next_4(ident_t*, int, int*, int*, int*, int*);
 
struct __tgt_offload_entry {
    void *addr;   // Pointer to the offload entry info (function or global)
    char *name;   // Name of the function or global
    size_t size;  // Size of the entry info (0 if it is a function)
    int32_t flags; // Flags associated with the entry, e.g. 'link'.
    int32_t reserved; // Reserved, to be used by the runtime library.
};
 
int __tgt_target_teams(int64_t device_id, void *host_ptr, int32_t arg_num,
                       void **args_base, void **args, int64_t *arg_sizes,
                       int64_t *arg_types, int32_t num_teams,
                       int32_t thread_limit);
 
struct __tgt_device_image {
    void *ImageStart;                  // Pointer to the target code start
    void *ImageEnd;                    // Pointer to the target code end
    struct __tgt_offload_entry *EntriesBegin; // Begin of table with all target entries
    struct __tgt_offload_entry *EntriesEnd;   // End of table (non inclusive)
};
 
struct __tgt_bin_desc {
    int32_t NumDeviceImages;           // Number of device types supported
    struct __tgt_device_image *DeviceImages;  // Array of device images (1 per dev. type)
    struct __tgt_offload_entry *HostEntriesBegin; // Begin of table with all host entries
    struct __tgt_offload_entry *HostEntriesEnd;   // End of table (non inclusive)
};
 
void __tgt_unregister_lib(struct __tgt_bin_desc *desc);
 
struct __tgt_bin_desc* register_cubin(char*, void*, void*);