Searched refs:TLBFlushRangeData (Results 1 – 1 of 1) sorted by relevance
726 } TLBFlushRangeData; typedef729 TLBFlushRangeData d) in tlb_flush_range_by_mmuidx_async_0()769 TLBFlushRangeData *d = data.host_ptr; in tlb_flush_range_by_mmuidx_async_1()778 TLBFlushRangeData d; in tlb_flush_range_by_mmuidx()817 TLBFlushRangeData d, *p; in tlb_flush_range_by_mmuidx_all_cpus_synced()