Re: [RFC PATCH] xen/arm: Track coverage gap due to architecture limitations

2025-07-09 Thread Ayan Kumar Halder
Hi Michal, On 09/07/2025 14:38, Orzel, Michal wrote: On 09/07/2025 15:12, Ayan Kumar Halder wrote: There are a number of places where Xen triggers a BUG() due to 'impossible' conditions. One of these impossible condition is when gicv3_info.nr_lrs is equal to 0 or greater than 16. Add a OFT ma

Re: [RFC PATCH] xen/arm: Track coverage gap due to architecture limitations

2025-07-09 Thread Orzel, Michal
On 09/07/2025 15:12, Ayan Kumar Halder wrote: > There are a number of places where Xen triggers a BUG() due to 'impossible' > conditions. One of these impossible condition is when gicv3_info.nr_lrs is > equal to 0 or greater than 16. > > Add a OFT marker in the code and link it to document expl