Gregory Nutt cb8e081dba Mostly cosmetic use of uintptr_t to hold addresses instead of uint32_t		2014-08-26 10:44:10 -06:00
..
irq.h	Mostly cosmetic use of uintptr_t to hold addresses instead of uint32_t	2014-08-26 10:44:10 -06:00
syscall.h	Oops. Mnemonic changed from SWI to SVC in cortex A	2014-01-05 15:59:49 -06:00