OS
#define IOPORT(OS, NS) \
return t2_read##OS(xaddr); \
return t2_in##OS((unsigned long)xaddr - T2_IO); \
t2_write##OS(b, xaddr); \
t2_out##OS(b, (unsigned long)xaddr - T2_IO); \
!kvm_has_feat(kvm, ID_AA64ISAR0_EL1, TLB, OS))
!kvm_has_feat(kvm, ID_AA64ISAR0_EL1, TLB, OS))
#define FEAT_TLBIOS ID_AA64ISAR0_EL1, TLB, OS
!kvm_has_feat(kvm, ID_AA64ISAR0_EL1, TLB, OS))
!kvm_has_feat(kvm, ID_AA64ISAR0_EL1, TLB, OS))
if (!kvm_has_feat(kvm, ID_AA64ISAR0_EL1, TLB, OS))