Searched refs:MODE_CHOICE (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Ddarwin_closure.S32 #define MODE_CHOICE(x, y) y define
34 #define MODE_CHOICE(x, y) x define
37 #define machine_choice MODE_CHOICE(ppc7400,ppc64)
40 #define lgu MODE_CHOICE(lwzu, ldu)
41 #define lg MODE_CHOICE(lwz,ld)
42 #define sg MODE_CHOICE(stw,std)
43 #define sgu MODE_CHOICE(stwu,stdu)
46 #define GPR_BYTES MODE_CHOICE(4,8)
47 #define LOG2_GPR_BYTES MODE_CHOICE(2,3) /* log2(GPR_BYTES) */
48 #define g_long MODE_CHOICE(lon
[all...]
H A Ddarwin.S29 #define MODE_CHOICE(x, y) y define
31 #define MODE_CHOICE(x, y) x define
34 #define machine_choice MODE_CHOICE(ppc7400,ppc64)
37 #define lgu MODE_CHOICE(lwzu, ldu)
38 #define lg MODE_CHOICE(lwz,ld)
39 #define sg MODE_CHOICE(stw,std)
40 #define sgu MODE_CHOICE(stwu,stdu)
41 #define sgux MODE_CHOICE(stwux,stdux)
44 #define GPR_BYTES MODE_CHOICE(4,8)
45 #define LOG2_GPR_BYTES MODE_CHOICE(
[all...]

Completed in 36 milliseconds