Searched refs:VKI_VM86_GET_AND_RESET_IRQ (Results 1 - 2 of 2) sorted by relevance
| /external/valgrind/main/include/vki/ | ||
| H A D | vki-arm-linux.h | 803 #define VKI_VM86_GET_AND_RESET_IRQ 6 macro |
| H A D | vki-x86-linux.h | 813 #define VKI_VM86_GET_AND_RESET_IRQ 6 macro |
Completed in 58 milliseconds