diff --git a/src/system/kernel/arch/ppc/arch_thread.c b/src/system/kernel/arch/ppc/arch_thread.c
index 55201509dd..4d62145c35 100644
--- a/src/system/kernel/arch/ppc/arch_thread.c
+++ b/src/system/kernel/arch/ppc/arch_thread.c
@@ -93,11 +93,11 @@ arch_thread_context_switch(struct thread *t_from, struct thread *t_to)
 	asm("mtear  %0" :: "g"(t_to->kernel_stack_base + KERNEL_STACK_SIZE - 8));
 
     // switch the asids if we need to
-	if (t_to->team->aspace != NULL) {
+	if (t_to->team->address_space != NULL) {
 		// the target thread has is user space
 		if (t_from->team != t_to->team) {
 			// switching to a new address space
-			ppc_translation_map_change_asid(&t_to->team->aspace->translation_map);
+			ppc_translation_map_change_asid(&t_to->team->address_space->translation_map);
 		}
 	}
 
diff --git a/src/system/kernel/arch/ppc/arch_vm_translation_map.cpp b/src/system/kernel/arch/ppc/arch_vm_translation_map.cpp
index 28cb63cb22..e51c5600d7 100644
--- a/src/system/kernel/arch/ppc/arch_vm_translation_map.cpp
+++ b/src/system/kernel/arch/ppc/arch_vm_translation_map.cpp
@@ -491,7 +491,7 @@ arch_vm_translation_map_init_post_area(kernel_args *args)
 
 	// create a region to cover the iospace
 	void *temp = (void *)IOSPACE_BASE;
-	vm_create_null_area(vm_get_kernel_aspace_id(), "iospace", &temp,
+	vm_create_null_area(vm_kernel_address_space_id(), "iospace", &temp,
 		B_EXACT_ADDRESS, IOSPACE_SIZE);
 
 	return 0;