Aaron Lindsay e69440c698 Add include/arch/properties.h files ... Will include architecture-specific properties about the kernel. Currently they mainly hold macros for calculating where the kernel starts and ends in physical and virtual memory.		2013-01-01 23:50:02 -05:00
..
properties.h	Add include/arch/properties.h files	2013-01-01 23:50:02 -05:00
types.h	types.h: Add arch_uint_ptr to make comparing native pointer types easier	2012-11-15 00:27:49 -05:00