diff options
| author | dzwdz | 2022-05-01 20:21:55 +0200 |
|---|---|---|
| committer | dzwdz | 2022-05-01 20:21:55 +0200 |
| commit | 5f6767972f1550c54dd6f28267dc3d882f67d7ed (patch) | |
| tree | 0e16411f440e191084a6e61c81fd5416425ba12e /src/shared/flags.h | |
| parent | d996f88bfda890df5d2b76e7c06cae329e04ab00 (diff) | |
kernel/proc: `process_handle_get` for safely accepting handle ids
Diffstat (limited to 'src/shared/flags.h')
0 files changed, 0 insertions, 0 deletions