Changed to use dynamic size for taint op buffer in guest_hypercall_callback