addr_32           281 arch/x86/mm/mpx.c 		u32 __user *addr_32 = (u32 __user *)addr;
addr_32           284 arch/x86/mm/mpx.c 				addr_32, old_val_32, new_val_32);