Searched refs:watchpoint_idx (Results 1 – 2 of 2) sorted by relevance
| /openbmc/linux/kernel/kcsan/ |
| H A D | kcsan.h | 124 unsigned long ip, int watchpoint_idx);
133 int watchpoint_idx, u64 old, u64 new, u64 mask);
|
| H A D | report.c | 652 unsigned long ip, int watchpoint_idx) in kcsan_report_set_info() argument
660 prepare_report_producer(&flags, &ai, &other_infos[watchpoint_idx]); in kcsan_report_set_info()
668 int watchpoint_idx, u64 old, u64 new, u64 mask) in kcsan_report_known_origin() argument
671 struct other_info *other_info = &other_infos[watchpoint_idx]; in kcsan_report_known_origin()
|