From ea6f34f4f7480cc2ece00e024feb40067ff78c1b Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Mon, 24 Apr 2017 09:55:45 +0200
Subject: [PATCH] kern: mark pexit() as noreturn

Since pexit() calls sched() it wont return to the caller.
Should fix

- CID 155655: Missing break in switch
- CID 155672: Missing break in switch
---
 sys/src/kern/port/portfns.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/src/kern/port/portfns.h b/sys/src/kern/port/portfns.h
index a6a4b1d..260b29b 100644
--- a/sys/src/kern/port/portfns.h
+++ b/sys/src/kern/port/portfns.h
@@ -242,7 +242,7 @@ Cmdbuf*		parsecmd(char *a, int n);
 void		pathclose(Path*);
 uint64_t	perfticks(void);
 void		peekAtExecFaults(uintptr_t);
-void		pexit(char*, int);
+void		pexit(char*, int) __attribute__ ((noreturn));
 void		pgrpcpy(Pgrp*, Pgrp*);
 void		pgrpnote(uint32_t, char*, long, int);
 void		physdump(void);