Searched refs:CPU_CR3_MARK_INACTIVE (Results 1 – 2 of 2) sorted by relevance
827 #define CPU_CR3_MARK_INACTIVE() \ macro851 CPU_CR3_MARK_INACTIVE(); \
551 CPU_CR3_MARK_INACTIVE(); in x86_filter_TLB_coherency_interrupts()