Searched refs:CONCAT1 (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/aarch64/
H A Dsysv.S30 #define CONCAT1(a, b) CONCAT2(a, b) define
34 #define CNAME(x) CONCAT1 (__USER_LABEL_PREFIX__, x)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/metag/
H A Dsysv.S35 #define CONCAT1(a, b) CONCAT2(a, b) define
39 #define CNAME(x) CONCAT1 (__USER_LABEL_PREFIX__, x)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/
H A Dsysv.S35 #define CONCAT1(a, b) CONCAT2(a, b) define
39 #define CNAME(x) CONCAT1 (__USER_LABEL_PREFIX__, x)

Completed in 33 milliseconds