Searched defs:x32 (Results 1 - 4 of 4) sorted by relevance
| /arch/x86/vdso/ |
| H A D | Makefile | 20 vdso_img-$(VDSOX32-y) += x32
84 # X32 processes use x32 vDSO to access 64bit kernel data.
86 # Build x32 vDSO image:
87 # 1. Compile x32 vDSO as 64bit.
88 # 2. Convert object files to x32.
89 # 3. Build x32 VDSO image with x32 objects, which contains 64bit codes
99 # 64-bit objects to re-brand as x32
100 vobjs64-for-x32 := $(filter-out $(vobjs-nox32),$(vobjs-y))
102 # x32
[all...] |
| /arch/mn10300/kernel/ |
| H A D | kprobes.c | 132 s32 x32; local
167 READ_WORD32(pc + 1, &x32);
168 next = pc + x32;
182 READ_WORD32(sp, &x32);
183 next = (u8 *)x32;
211 READ_WORD32(sp, &x32);
212 next = (u8 *)x32;
217 READ_WORD32(sp + 4, &x32);
218 next = (u8 *)x32;
249 x32
[all...] |
| /arch/x86/kernel/ |
| H A D | process_64.c | 405 void set_personality_ia32(bool x32) argument
413 if (x32) {
419 /* is_compat_task() uses the presence of the x32
|
| /arch/powerpc/kernel/ |
| H A D | align.c | 756 } x32; member in union:data
937 start = offsetof(union data, x32.low32);
962 cvt_df(&data.dd, (float *)&data.x32.low32);
977 data.x32.low32 = swab32(data.x32.low32);
994 data.ll = data.x32.low32;
1002 cvt_fd((float *)&data.x32.low32, &data.dd);
1016 start = offsetof(union data, x32.low32);
|
Completed in 123 milliseconds