Lines Matching defs:hwid
101 static errval_t get_arch_config(hwid_t hwid, struct arch_config * config)
129 " write(res(S)).", hwid);
627 errval_t spawn_xcore_monitor(coreid_t coreid, hwid_t hwid,
634 DEBUG("Booting: %" PRIuCOREID ", hwid=%" PRIxHWID "\n", coreid, hwid);
644 err = get_arch_config(hwid, &config);
783 core_data->dst_arch_id = hwid;
813 parking_write_mailbox(parking_mem.buf, hwid, boot_entry,
823 DEBUG("invoking boot start hwid=%lx entry=%lx context=%lx\n",
824 hwid, boot_entry, stack_mem.frameid.base);
826 err = invoke_monitor_spawn_core(hwid, cpu_type, boot_entry, stack_mem.frameid.base,