a5cea9e740
While the pmap functions take care of properly ordering cache and TLB flushes, not all TLB flush requests are sent to all CPUs (due to per CPU pmap tracking) while cache flushes are always broadcast. XXX: need to investigate pmap tracking for cache flush operation as well.