diff options
author | Richard Braun <rbraun@sceen.net> | 2017-09-21 01:26:28 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2017-09-21 01:26:28 +0200 |
commit | 4077ffe75fe9f2149cfac5b7046e73f21dc80312 (patch) | |
tree | 76be7f7076d908a395d2c15b4bf7cf4e0225004d /vm/vm_map.c | |
parent | 9b1d0f9488c905decaac5269886b137bcd23f416 (diff) | |
parent | 1ff3666dc29c0eacf911c57d3e6b6a62bdc9cb78 (diff) |
Merge branch 'xbuild'
Diffstat (limited to 'vm/vm_map.c')
-rw-r--r-- | vm/vm_map.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/vm/vm_map.c b/vm/vm_map.c index 713d92f0..c0e9e116 100644 --- a/vm/vm_map.c +++ b/vm/vm_map.c @@ -699,7 +699,7 @@ vm_map_init(struct vm_map *map, struct pmap *pmap, map->pmap = pmap; } -#ifdef X15_ENABLE_SHELL +#ifdef CONFIG_SHELL static void vm_map_shell_info(int argc, char **argv) @@ -744,7 +744,7 @@ INIT_OP_DEFINE(vm_map_setup_shell, INIT_OP_DEP(task_setup, true), INIT_OP_DEP(vm_map_setup, true)); -#endif /* X15_ENABLE_SHELL */ +#endif /* CONFIG_SHELL */ static int __init vm_map_bootstrap(void) |