On 05.05.2020 13:35, Andrew Cooper wrote: > The caller is already guarded by is_pv_32bit_vcpu(). > > Signed-off-by: Andrew Cooper <[email protected]>
Reviewed-by: Jan Beulich <[email protected]>
On 05.05.2020 13:35, Andrew Cooper wrote: > The caller is already guarded by is_pv_32bit_vcpu(). > > Signed-off-by: Andrew Cooper <[email protected]>
Reviewed-by: Jan Beulich <[email protected]>