Searched refs:CPU_CR3_MARK_INACTIVE (Results 1 – 2 of 2) sorted by relevance
835 #define CPU_CR3_MARK_INACTIVE() \ macro859 CPU_CR3_MARK_INACTIVE(); \
556 CPU_CR3_MARK_INACTIVE(); in x86_filter_TLB_coherency_interrupts()