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);