Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 4f8a0c090e512bf30f40b6e292b3989a9ad1f703)
+++ kernel/generic/src/mm/as.c	(revision eeb2bde2cd490c6feb4ee861d340112bfcb495af)
@@ -386,5 +386,5 @@
 	if (pages < area->pages) {
 		bool cond;
-		uintptr_t start_free = area->base + pages*PAGE_SIZE;
+		uintptr_t start_free = area->base + pages * PAGE_SIZE;
 
 		/*
@@ -396,5 +396,5 @@
 		 * Start TLB shootdown sequence.
 		 */
-		tlb_shootdown_start(TLB_INVL_PAGES, AS->asid, area->base +
+		tlb_shootdown_start(TLB_INVL_PAGES, as->asid, area->base +
 		    pages * PAGE_SIZE, area->pages - pages);