Searched refs:mcmgr_start_mode_t (Results 1 – 2 of 2) sorted by relevance
89 } mcmgr_start_mode_t; typedef159 …_StartCore(mcmgr_core_t coreNum, void *bootAddress, uint32_t startupData, mcmgr_start_mode_t mode);
153 …R_StartCore(mcmgr_core_t coreNum, void *bootAddress, uint32_t startupData, mcmgr_start_mode_t mode) in MCMGR_StartCore()
