Re: [PATCH RESEND 6.1 10/12] KVM: arm64: Mark some header functions as inline