Ville Juven f4b82b6405 sched/addrenv: Remove up_addrenv_restore
The function is not relevant any longer, remove it. Also remove
save_addrenv_t, the parameter taken by up_addrenv_restore.

Implement addrenv_select() / addrenv_restore() to handle the temporary
instantiation of address environments, e.g. when a process is being
created.
2023-02-08 02:51:23 +08:00
..
2022-08-02 21:04:19 +08:00
2023-01-06 22:20:19 +08:00
2022-01-29 01:04:23 +08:00
2022-12-21 10:56:45 +08:00
2023-01-19 00:52:25 +02:00
2022-02-20 21:58:10 +08:00
2021-11-23 20:34:56 +09:00
2021-11-23 20:34:56 +09:00
2021-11-23 20:34:56 +09:00
2022-12-21 10:56:45 +08:00
2022-10-28 02:19:26 +08:00
2021-09-25 07:54:39 -03:00
2022-12-10 02:36:24 +08:00
2022-03-17 09:37:15 +02:00
2023-01-31 12:08:05 +09:00
2023-01-27 13:21:49 -03:00
2022-04-17 23:32:05 +03:00