diff options
| author | Atish Patra <[email protected]> | 2019-04-01 17:04:57 -0700 |
|---|---|---|
| committer | Anup Patel <[email protected]> | 2019-04-03 09:57:42 +0530 |
| commit | fd5418d92cf3d72fe07971e4544662ac94b7963c (patch) | |
| tree | 8b7bd840f027544cfeef3854234660b02fc368ac /scripts | |
| parent | 8334a88c632b5bd3abd33fa8c9b9b4c04f0b12c8 (diff) | |
lib: Introduce a tlb info type.
Add a tlb info to distinguish between different type of tlb flush
request pending.
Signed-off-by: Atish Patra <[email protected]>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions