Home
last modified time | relevance | path

Searched refs:VKI_VM86_GET_AND_RESET_IRQ (Results 1 – 2 of 2) sorted by relevance

/external/valgrind/include/vki/
Dvki-x86-linux.h838 #define VKI_VM86_GET_AND_RESET_IRQ 6 macro
Dvki-arm-linux.h826 #define VKI_VM86_GET_AND_RESET_IRQ 6 macro