Sonicadvance1 / wfe_mutex

MIT License
0 stars 0 forks source link

WFET not actually using WFET #16

Open Sonicadvance1 opened 3 months ago

Sonicadvance1 commented 3 months ago

https://github.com/Sonicadvance1/wfe_mutex/blob/539ee8169b2ffd8b65f0ba38cbf187cc2e035a48/src/implementations_arm64.c#L61-L64

Oops, was using WFE_BODY instead of WFET_BODY.

Need to figure out how to get wfet emitted even when the host CPU doesn't support it. Since it is guarded by runtime checks.