arch_platform.h revision 39eb52d8
1