Searched refs:rcpu (Results 1 – 1 of 1) sorted by relevance
2714 pmap_tlbi_response(uint32_t lcpu, uint32_t rcpu, bool ngflush) in pmap_tlbi_response() argument2717 bool gflushed = (cpu_datap(rcpu)->cpu_tlb_invalid_global_count != in pmap_tlbi_response()2718 cpu_datap(lcpu)->cpu_tlb_gen_counts_global[rcpu]); in pmap_tlbi_response()2728 bool lflushed = (cpu_datap(rcpu)->cpu_tlb_invalid_local_count != in pmap_tlbi_response()2729 cpu_datap(lcpu)->cpu_tlb_gen_counts_local[rcpu]); in pmap_tlbi_response()2737 if ((cpu_datap(rcpu)->cpu_tlb_invalid == 0) || in pmap_tlbi_response()2738 !CPU_CR3_IS_ACTIVE(rcpu) || in pmap_tlbi_response()2739 !cpu_is_running(rcpu)) { in pmap_tlbi_response()