Searched refs:ectg_available (Results 1 – 3 of 3) sorted by relevance
33 __u32 ectg_available; /* ECTG instruction present 0x58 */ member
85 vd->ectg_available = test_facility(31); in vdso_init_data()
78 OFFSET(__VDSO_ECTG_OK, vdso_data, ectg_available); in main()