diff options
| author |   mikeb <mikeb@openbsd.org> | 2015-12-08 19:45:55 +0000 |
|---|---|---|
| committer | mikeb <mikeb@openbsd.org> | 2015-12-08 19:45:55 +0000 |
| commit | ad5f350308618803101d52bcda4480dde757cd0e (patch) | |
| tree | edf1ccb2583eea4867e17aafa8d28fab77d97a0e /sys/dev/pv/files.pv | |
| parent | Allocate and hook up a "shared info page" (diff) | |
| download | wireguard-openbsd-ad5f350308618803101d52bcda4480dde757cd0e.tar.xz wireguard-openbsd-ad5f350308618803101d52bcda4480dde757cd0e.zip | |
Set up an IDT vector for Xen callbacks
This adds support for delivering the combined Xen interrupt
that later fans out into event port specific (device specific)
interrupts via an IDT of a guest system.
The Xen IDT vector is set to be the first of the IPL_NET group
and is implemented the same way LAPIC timer and IPIs are done.
The additional machinery is there to be able to mask it via
standard mechanisms (e.g. splnet).
Discussed with kettenis@, OK mlarkin, reyk
Diffstat (limited to 'sys/dev/pv/files.pv')
0 files changed, 0 insertions, 0 deletions