Man pages matching name i386_set_watch in section 3: