ectg_available     34 arch/s390/include/asm/vdso.h 	__u32 ectg_available;		/* ECTG instruction present	0x58 */
ectg_available     74 arch/s390/kernel/asm-offsets.c 	OFFSET(__VDSO_ECTG_OK, vdso_data, ectg_available);
ectg_available    124 arch/s390/kernel/vdso.c 	vd->ectg_available = test_facility(31);