Searched refs:VKI_XEN_DOMCTL_deassign_device (Results 1 – 2 of 2) sorted by relevance
92 #define VKI_XEN_DOMCTL_deassign_device 47 macro
814 case VKI_XEN_DOMCTL_deassign_device: in PRE()1692 case VKI_XEN_DOMCTL_deassign_device: in POST()