Re: [PATCH v2 7/8] KVM: arm64: Mark some header functions as inline