Lines Matching refs:wfe
2933 @ WFE/WFI/YIELD2935 wfe2948 @ CHECK: wfe @ encoding: [0x02,0xf0,0x20,0xe3]2956 @ CHECK: wfe @ encoding: [0x02,0xf0,0x20,0xe3]