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