Provide only one way to destroy address spaces
commitca21f1e2563262ce9dfca34baebb191c134e3037
authorJakub Jermar <jakub@jermar.eu>
Thu, 22 Nov 2018 17:09:47 +0000 (22 18:09 +0100)
committerJakub Jermar <jakub@jermar.eu>
Thu, 22 Nov 2018 17:09:51 +0000 (22 18:09 +0100)
tree1ebf81f974f1bb91f8b5d98df969fa7ef1029afa
parent21d3201a912240b314cd578152eb84938b5b26d5
Provide only one way to destroy address spaces
kernel/generic/include/mm/as.h
kernel/generic/src/mm/as.c
kernel/generic/src/proc/program.c