Searched refs:cpu_tlb_invalid (Results 1 – 4 of 4) sorted by relevance
169 char pmap_cpu_data_assert[(((offsetof(cpu_data_t, cpu_tlb_invalid) - offsetof(cpu_data_t, cpu_activ…328 cdp->cpu_tlb_invalid = 0; in pmap_cpu_init()2779 if ((cpu_datap(rcpu)->cpu_tlb_invalid == 0) || in pmap_tlbi_response()3131 cpu_datap(ccpu)->cpu_tlb_invalid = 0; in process_pmap_updates()3160 if (current_cpu_datap()->cpu_tlb_invalid) { in pmap_update_interrupt()
201 volatile uint32_t cpu_tlb_invalid; member
342 offsetof(cpu_data_t, cpu_tlb_invalid)); in main()
615 cpu_number(), now, current_cpu_datap()->cpu_tlb_invalid); in NMIInterruptHandler()