Fixed PPC kernel build (and a warning).

git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@19058 a95241bf-73f2-0310-859d-f6bbb57e9c96
This commit is contained in:
Axel Dörfler
2006-10-13 11:35:28 +00:00
parent 6e7dc54655
commit d12497173a
2 changed files with 7 additions and 2 deletions
+4
View File
@@ -1,6 +1,10 @@
SubDir HAIKU_TOP src system kernel arch ppc ;
SubDirHdrs $(SUBDIR) $(DOTDOT) generic ;
#UseHeaders $(TARGET_PRIVATE_KERNEL_HEADERS) ;
# for some reason, this doesn't work
UsePrivateHeaders kernel [ FDirName kernel arch $(TARGET_ARCH) ]
[ FDirName kernel boot platform $(HAIKU_BOOT_PLATFORM) ] ;
SEARCH_SOURCE += [ FDirName $(SUBDIR) $(DOTDOT) generic ] ;
@@ -1,5 +1,5 @@
/*
* Copyright 2003-2005, Axel Dörfler, [email protected].
* Copyright 2003-2006, Axel Dörfler, [email protected].
* Distributed under the terms of the MIT License.
*
* Copyright 2001, Travis Geiselbrecht. All rights reserved.
@@ -161,7 +161,8 @@ static void
destroy_tmap(vm_translation_map *map)
{
if (map->map_count > 0) {
panic("vm_translation_map.destroy_tmap: map %p has positive map count %d\n", map, map->map_count);
panic("vm_translation_map.destroy_tmap: map %p has positive map count %ld\n",
map, map->map_count);
}
// mark the vsid base not in use