Lines Matching refs:cpu_type
215 enum cpu_type cpu_type;
216 errval_t err = get_core_info(target_id, &target_hwid, &cpu_type);
247 cpu_type, cmd_kernel_args,
264 enum cpu_type cpu_type;
265 errval_t err = get_core_info(target_id, &target_hwid, &cpu_type);
270 if (cpu_type == CPU_ARM7 || cpu_type == CPU_ARM8) {
300 err = spawn_xcore_monitor(target_id, target_hwid, cpu_type,
317 enum cpu_type cpu_type;
318 errval_t err = get_core_info(target_id, &target_hwid, &cpu_type);
323 if (cpu_type == CPU_ARM7 || cpu_type == CPU_ARM8) {