Efficient fault injection in QEMU