Searched refs:VKI_GDT_ENTRY_TLS_MAX (Results 1 – 3 of 3) sorted by relevance
544 #define VKI_GDT_ENTRY_TLS_MAX 13 macro
629 #define VKI_GDT_ENTRY_TLS_MAX (VKI_GDT_ENTRY_TLS_MIN + VKI_GDT_ENTRY_TLS_ENTRIES - 1) macro
646 #define VKI_GDT_ENTRY_TLS_MAX (VKI_GDT_ENTRY_TLS_MIN + VKI_GDT_ENTRY_TLS_ENTRIES - 1) macro