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
..
2023-01-06 22:20:19 +08:00
2022-12-21 10:56:45 +08:00
2023-01-19 00:52:25 +02:00
2022-12-21 10:56:45 +08:00
2022-10-28 02:19:26 +08:00
2022-12-10 02:36:24 +08:00
2023-01-31 12:08:05 +09:00
2023-01-27 13:21:49 -03:00