Searched refs:PTI_CONSUMED_PCID_BITS (Results 1 – 1 of 1) sorted by relevance
86 # define PTI_CONSUMED_PCID_BITS 1 macro88 # define PTI_CONSUMED_PCID_BITS 0 macro91 #define CR3_AVAIL_PCID_BITS (X86_CR3_PCID_BITS - PTI_CONSUMED_PCID_BITS)