pub const KVM_CAP_SPAPR_TCE_VFIO: u32 = 142;