sys/arch/x86/x86/pmap.c

3491

KASSERT(ci->ci_tlbstate != TLBSTATE_VALID);

sys/arch/x86/x86/pmap.c

3544

ci->ci_tlbstate = TLBSTATE_VALID;

sys/arch/x86/x86/pmap.c

3665

ci->ci_tlbstate = TLBSTATE_VALID;

sys/arch/x86/x86/pmap.c

3733

!= ci->ci_pmap || ci->ci_tlbstate != TLBSTATE_VALID);

sys/arch/x86/x86/pmap.c

3758

KASSERT(ci->ci_tlbstate == TLBSTATE_VALID);

sys/arch/x86/x86/pmap.c

3803

ci->ci_tlbstate = TLBSTATE_VALID;

sys/arch/x86/x86/pmap.c

3848

ci->ci_tlbstate = TLBSTATE_VALID;

sys/arch/x86/x86/pmap.c

808

if (__predict_false(ci->ci_tlbstate != TLBSTATE_VALID)) {

sys/arch/x86/x86/pmap.c

823

KASSERT(ci->ci_tlbstate == TLBSTATE_VALID);

sys/arch/x86/x86/pmap.c

872

KASSERT(ci->ci_tlbstate == TLBSTATE_VALID);