Right but you do see how this means that you need to lift code that has semantics that cannot be modeled in C?
In QEMU parlance, these are helper functions, and they have actual implementations. But for decompilation purposes, you don't need to implement them. You just need to know how they interact with the registers.