Commit 9aac326e authored by Brian Kocoloski's avatar Brian Kocoloski

fix xbuf debug print statement

parent 0ac4cc31
......@@ -295,7 +295,7 @@ pisces_xbuf_sync_send(struct pisces_xbuf_desc * desc,
}
debug("Sending IPI %d to cpu %d\n", xbuf->enclave_vector, xbuf->enclave_cpu);
debug("Sending IPI %d to cpu %d\n", xbuf->enclave_vector, desc->enclave->boot_cpu);
petos_send_ipi(desc->enclave->boot_cpu, xbuf->enclave_vector);
debug("IPI completed\n");
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment