Searched refs:addr_32 (Results 1 – 1 of 1) sorted by relevance
398 u32 __user *addr_32 = (u32 __user *)addr; in mpx_cmpxchg_bd_entry() local401 addr_32, old_val_32, new_val_32); in mpx_cmpxchg_bd_entry()