On Wed, Aug 30, 2017 at 02:22:05PM +0100, Andrew Cooper wrote: > Coverity complains that gl1e.l1 may be used while uninitialised in > map_ldt_shadow_page(). This isn't actually accurate as guest_get_eff_l1e() > will always write to its parameter. > > However, having a void function which returns a 64bit value via pointer is > rather silly. Rearrange the functions to return l1_pgentry_t. > > No functional change, but hopefully should help Coverity not to come to the > wrong conclusion. > > Bloat-o-meter also reports a modest improvement: > add/remove: 0/0 grow/shrink: 0/4 up/down: 0/-71 (-71) > function old new delta > guest_get_eff_l1e 82 75 -7 > mmio_ro_do_page_fault 530 514 -16 > map_ldt_shadow_page 501 485 -16 > ptwr_do_page_fault 615 583 -32 > > Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
Reviewed-by: Wei Liu <wei.l...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel