pub type arch_shared_info_t = arch_shared_info;