old_val_32        279 arch/x86/mm/mpx.c 		u32 old_val_32 = old_val;
old_val_32        284 arch/x86/mm/mpx.c 				addr_32, old_val_32, new_val_32);