Searched refs:VKI_GDT_ENTRY_TLS_MAX (Results 1 – 3 of 3) sorted by relevance
550 #define VKI_GDT_ENTRY_TLS_MAX 13 macro
652 #define VKI_GDT_ENTRY_TLS_MAX (VKI_GDT_ENTRY_TLS_MIN + VKI_GDT_ENTRY_TLS_ENTRIES - 1) macro
635 #define VKI_GDT_ENTRY_TLS_MAX (VKI_GDT_ENTRY_TLS_MIN + VKI_GDT_ENTRY_TLS_ENTRIES - 1) macro