HomeSort by relevance Sort by last modified time
    Searched refs:VKI_MAX_PAGE_SHIFT (Results 1 - 9 of 9) sorted by null

  /external/valgrind/main/include/vki/
vki-ppc32-linux.h 68 #define VKI_MAX_PAGE_SHIFT 16
69 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT)
    [all...]
vki-ppc64-linux.h 69 #define VKI_MAX_PAGE_SHIFT 16
70 #define VKI_MAX_PAGE_SIZE (1UL << VKI_MAX_PAGE_SHIFT)
vki-amd64-linux.h 62 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
vki-arm-linux.h 67 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
vki-s390x-linux.h 944 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
vki-x86-linux.h 63 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
vki-mips32-linux.h 78 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
    [all...]
vki-darwin.h 86 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
  /external/valgrind/main/coregrind/
m_main.c     [all...]

Completed in 553 milliseconds