Укажите ABI функции

Question

Есть ли способ указать ABI функции непосредственно в ATS?Например, я хочу сделать это:

%{^
typedef uint64_t __attribute__((ms_abi)) (*function)(uint16_t*);
%}

, но в ATS вместо C.

Редактировать: Вот моя первоначальная проблема:

%{^
struct SimpleTextOutputInterface;

typedef uint64_t __attribute__((ms_abi)) (*EfiTextString)(struct SimpleTextOutputInterface*, uint16_t*);
%}

typedef EfiTextString = $extype"EfiTextString"

vtypedef SimpleTextOutputInterface =
   @{ reset = EfiTextReset
    , output_string = [l:addr] (EfiTextString@l | ptr l)
    }

и я хочу позвонить output_string с ms_abi.Я могу сделать это в C, но я не знаю, возможно ли обойтись без C.