Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 9f3363ef9bc68ea4df6f7bf148d873939f0979bb)
+++ 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);