arch_platform.h revision e70ba4e4
1