Print this page
OS-6546 Use PCID if KPTI is enabled

*** 1257,1269 **** void init_desctbls(void) { user_desc_t *gdt; desctbr_t idtr; - #if defined(__amd64) - extern uint64_t kpti_safe_cr3; - #endif /* * Allocate IDT and TSS structures on unique pages for better * performance in virtual machines. */ --- 1257,1266 ----