Searched defs:evtchn_waddr (Results 1 - 1 of 1) sorted by relevance

/freebsd-10.0-release/sys/xen/evtchn/
H A Devtchn_dev.c57 static void *evtchn_waddr = ˚ variable

Completed in 118 milliseconds