xen/intr: correct type of evtchn_enabled
evtchn_enabled needs to match the type of Xen's evtchn_mask. As Xen's
headers have a type for this, use Xen's type.
Reviewed by: royger
xen/intr: correct type of evtchn_enabled Tags None Referenced Files None Subscribers None
Description
Details
|