diff options
| author | Ian Moffett <ian@osmora.org> | 2025-06-25 15:59:39 -0400 |
|---|---|---|
| committer | Ian Moffett <ian@osmora.org> | 2025-06-25 15:59:39 -0400 |
| commit | 074ef7ccfadb6ae36a88fe300b44f16057f970d4 (patch) | |
| tree | c6819858a3a6092af34725dfe9d78c04f25879bd /share | |
| parent | 7588a3130c10ef60075b30eb7e8b1433ee9c67df (diff) | |
kernel/amd64: Only use USER_DS in md_td_kick()
The function md_td_kick() is only used for user threads and there is no
need reference any kernel segments. Furthermore, the previous code would
introduce a bug where rpl would always be 0.
Signed-off-by: Ian Moffett <ian@osmora.org>
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions