On Fri, 12 Dec 2025, 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]>
Reviewed-by: Stefano Stabellini <[email protected]>
