summaryrefslogtreecommitdiff
path: root/kern/machine.h
AgeCommit message (Expand)Author
2013-12-17Mark functions that don't return with attribute noreturnMarin Ramesa
2009-06-182008-07-20 Samuel Thibault <samuel.thibault@ens-lyon.org>Samuel Thibault