Keep in mind that TCG API and internals have no stable guarantees, so if you cross-reference with current QEMU code you are bound to find differences.