On 12.12.2025 17:06, Andrew Cooper wrote: > GUEST_PTE_SIZE are only used by multi.c, but private.h gets used by code that > doesn't have GUEST_PAGING_LEVELS defined. Eclair notes that this is a > violation of MISRA Rule 20.9. > > Move it into types.h with the rest of the level-dependent logic lives. > > No functional change. > > Signed-off-by: Andrew Cooper <[email protected]>
Okay with me, yet I wonder if we shouldn't go a step further and simply drop the constant, replacing uses of it by sizeof(guest_intpte_t). Jan
