diff options
| author | Juergen Gross <[email protected]> | 2022-05-05 08:35:31 +0200 |
|---|---|---|
| committer | Juergen Gross <[email protected]> | 2022-05-19 14:21:37 +0200 |
| commit | 8c9eb0e3731d7140abc77cd80aeeeea8c2ff325e (patch) | |
| tree | f23308fbc65d1f87a31a636b3cf01b4815836659 /lib/mpi/mpi-sub-ui.c | |
| parent | 79c22318f89f3e6cafeabddd5894cad13c7e5957 (diff) | |
xen/grant-table: never put a reserved grant on the free list
Make sure a reserved grant is never put on the free list, as this could
cause hard to debug errors.
Signed-off-by: Juergen Gross <[email protected]>
Reviewed-by: Boris Ostrovsky <[email protected]>
Signed-off-by: Juergen Gross <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-sub-ui.c')
0 files changed, 0 insertions, 0 deletions