Man pages matching name cmpxchg_badaddr in section 2: