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