NR_TLB_REMOTE_FLUSH_RECEIVED
count_vm_tlb_event(NR_TLB_REMOTE_FLUSH_RECEIVED);
[I(NR_TLB_REMOTE_FLUSH_RECEIVED)] = "nr_tlb_remote_flush_received",