Searched refs:VKI_VM86_GET_AND_RESET_IRQ (Results 1 – 2 of 2) sorted by relevance
838 #define VKI_VM86_GET_AND_RESET_IRQ 6 macro
826 #define VKI_VM86_GET_AND_RESET_IRQ 6 macro