Hi,
I ran into a strange problem:
After I used "bind_evtchn_to_irqhandler" to bind an evtchn to a irq
handler,
I noticed that the interrupt handler was triggered although actually no IRQ
was injected. This problem happened exactly once for each run.
Why?
Also, I had problem in release shared pages. At the backend, I initially
allocate certain pages with alloc_pages(), then map several pages from
frontend to the address of the allocated pages. After my work is done,
I first unmap the shared pages, then I tried to free the allocated pages
with free_pages. But I got a kernel error " page flag bit is not
right", and
error message also shows that refcount of these pages are 0, which seems
to be normal. Did I do something wrong with the page sharing?
Thanks a lot!
-lily
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel
