On 15.07.2025 12:07, Dmytro Prokopchuk1 wrote:
> ARM only are:
> -config=MC3A2.R5.5,reports+={deliberate,
> "any_area(all_loc(file(^xen/include/xen/bitops\\.h$)))"}
This one's probably fine.
> -config=MC3A2.R5.5,reports+={deliberate,
> "all_area(decl(name(parse_gnttab_limit))||macro(name(parse_gnttab_limit)))"}
> -config=MC3A2.R5.5,reports+={deliberate,
> "all_area(decl(name(update_gnttab_par))||macro(name(update_gnttab_par)))"}
These two look too broad: They're affecting common/grant_table.c only, aren't
they?
> -config=MC3A2.R5.5,reports+={deliberate,
> "all_area(decl(name(pirq_cleanup_check))||macro(name(pirq_cleanup_check)))"}
This one also looks overly broad, but it's perhaps unavoidable to be that way.
Jan
