HomeSort by relevance Sort by last modified time
    Searched defs:VKI_PAGE_SHIFT (Results 1 - 7 of 7) sorted by null

  /external/valgrind/coregrind/
m_vki.c 48 unsigned long VKI_PAGE_SHIFT = 12;
  /external/valgrind/include/vki/
vki-amd64-linux.h 60 #define VKI_PAGE_SHIFT 12
61 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT)
62 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
vki-s390x-linux.h 62 #define VKI_PAGE_SHIFT 12
63 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT)
964 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
vki-arm-linux.h 65 #define VKI_PAGE_SHIFT 12
66 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT)
67 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
vki-x86-linux.h 61 #define VKI_PAGE_SHIFT 12
62 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT)
63 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
vki-darwin.h 92 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
358 #define VKI_PAGE_SHIFT PAGE_SHIFT
vki-solaris.h 63 #define VKI_PAGE_SHIFT 12
64 #define VKI_PAGE_SIZE (1UL << VKI_PAGE_SHIFT)
67 #define VKI_MAX_PAGE_SHIFT VKI_PAGE_SHIFT
    [all...]

Completed in 88 milliseconds