<dec f='src/src/sys/arch/xen/include/hypervisor.h' l='153' type='void hypervisor_enable_ipl(unsigned int )'/>
<def f='src/src/sys/arch/xen/x86/hypervisor_machdep.c' l='398' ll='413' type='void hypervisor_enable_ipl(unsigned int ipl)'/>
<use f='src/src/sys/arch/xen/xen/evtchn.c' l='347' u='c' c='evtchn_do_event'/>
