> When I tried it behaved just like if the previous mapping was removed
> when the new mapping was added (trap in the kernel when trying to access the
> old address). Now it's possible I did make a mistake, but anyway avoiding
> entering extra mapping when possible is probably better, performance-wise.
> With a NetBSD guest, i've seen up to 4 packets in the same page in a row,
> 2 is common. Theorically it can be up to 16 (PAGE_SIZE / MBYTES).

btw, shouldn't "xneti" member belong to xni_pkt rather than xni_page?
i think that it's better to have xennetback_tx_free() take xni_pkt
rather than xni_page.

YAMAMOTO Takashi