@@ -1,17 +1,17 @@
 BEGIN {
-	if (out == "header") {
+	if (out == "h") {
 		print "#ifndef KIplatform_syscalls"
 		print "#define KIplatform_syscalls"
-		print "enum /* syscall numbers */ {"
+		print "enum k_platform_syscall {"
 	}
 }
 
-out == "header" { print "\tk_platform_syscall_"$1" = "$2"," }
-out == "asm"    { print "%define sys."$1" "$2 }
+out == "h" { print "\tk_platform_syscall_"$1" = "$2"," } # c header
+out == "s" { print "%define sys."$1" "$2 } # assembly
 
 END {
-	if (out == "header") {
-		print "}"
+	if (out == "h") {
+		print "};"
 		print "#endif"
 	}
 }