On Tue, May 05, 2020 at 12:35:37PM +0100, Andrew Cooper wrote: > The caller is already guarded by is_pv_32bit_vcpu(). > > Signed-off-by: Andrew Cooper <[email protected]>
Reviewed-by: Roger Pau Monné <[email protected]> Thanks, Roger.
On Tue, May 05, 2020 at 12:35:37PM +0100, Andrew Cooper wrote: > The caller is already guarded by is_pv_32bit_vcpu(). > > Signed-off-by: Andrew Cooper <[email protected]>
Reviewed-by: Roger Pau Monné <[email protected]> Thanks, Roger.