Lines Matching refs:cpu_type
82 invoke_monitor_spawn_core(hwid_t core_id, enum cpu_type cpu_type,
86 return cap_invoke6(ipi_cap, IPICmd_Send_Start, core_id, cpu_type,
628 enum cpu_type cpu_type,
640 if(cpu_type != CPU_ARM8) {
826 err = invoke_monitor_spawn_core(hwid, cpu_type, boot_entry, stack_mem.frameid.base,
865 errval_t get_core_info(coreid_t core_id, hwid_t* hw_id, enum cpu_type* cpu_type)
887 *cpu_type = (enum cpu_type) type;