arch/x86/boot_arch.c

71     errval_t err = oct_get(&record, "hw.processor.%"PRIuCOREID"", core_id);
72     if (err_is_fail(err)) {
77     err = oct_read(record, "_ { apic_id: %d, enabled: %d, type: %d}",
80     if (err_is_fail(err)) {
86     return err;
167     errval_t err;
182     err = slot_alloc(&bootcap);
183     if (err_is_fail(err)) {
184         USER_PANIC_ERR(err, "Allocating a new slot");
187     err = cap_copy(bootcap, realmodecap);
188     if (err_is_fail(err)) {
189         USER_PANIC_ERR(err, "Copying capability");
195     err = slot_alloc(&bootcap);
196     if (err_is_fail(err)) {
197         USER_PANIC_ERR(err, "slot_alloc for mm_realloc_range_proxy");
200     err = acl->rpc_tx_vtbl.mm_realloc_range_proxy(acl, 16, 0x0,
202     if (err_is_fail(err)) {
203         USER_PANIC_ERR(err, "mm_alloc_range_proxy failed.");
211     err = vspace_map_one_frame(&real_base, 1<<16, bootcap, NULL, NULL);
240     err = mc->rpc_tx_vtbl.get_global_paddr(mc, &global);
241     if (err_is_fail(err)) {
242         DEBUG_ERR(err, "invoke spawn core");
243         return err_push(err, MON_ERR_SPAWN_CORE);
264     err = invoke_send_init_ipi(ipi_cap, core_id);
265     if (err_is_fail(err)) {
266         DEBUG_ERR(err, "invoke send init ipi");
267         return err;
275     err = invoke_send_start_ipi(ipi_cap, core_id, entry);
276     if (err_is_fail(err)) {
277         DEBUG_ERR(err, "invoke sipi");
278         return err;
312     errval_t err, error_code;
314     err = slot_alloc(&bootcap);
315     if (err_is_fail(err)) {
316         USER_PANIC_ERR(err, "slot_alloc for mm_alloc_range_proxy");
318     err = acl->rpc_tx_vtbl.mm_realloc_range_proxy(acl, 16, 0x0,
320     if (err_is_fail(err)) {
321         USER_PANIC_ERR(err, "mm_alloc_range_proxy failed.");
328     err = vspace_map_one_frame(&real_base, 1<<16, bootcap, NULL, NULL);
357     err = mc->rpc_tx_vtbl.get_global_paddr(mc, &global);
358     if (err_is_fail(err)) {
359         DEBUG_ERR(err, "invoke spawn core");
360         return err_push(err, MON_ERR_SPAWN_CORE);
378     err = invoke_send_init_ipi(ipi_cap, core_id);
379     if (err_is_fail(err)) {
380         DEBUG_ERR(err, "invoke send init ipi");
381         return err;
384     err = invoke_send_start_ipi(ipi_cap, core_id, entry);
385     if (err_is_fail(err)) {
386         DEBUG_ERR(err, "invoke sipi");
387         return err;
425     errval_t err;
437         err = frame_alloc_identify(cpu_memory_cap, *cpu_memory, cpu_memory, id);
438         if (err_is_fail(err)) {
513     errval_t err;
515     err = get_architecture_config(cpu_type, &arch_page_size,
517     assert(err_is_ok(err));
538         err = lookup_module(cpuname, &cpu_binary, &cpu_binary_phys,
540         if (err_is_fail(err)) {
541             DEBUG_ERR(err, "Can not lookup module");
542             return err;
556         err = lookup_module(monitorname, &monitor_binary,
558         if (err_is_fail(err)) {
559             DEBUG_ERR(err, "Can not lookup module");
560             return err;
574     err = allocate_kernel_memory(cpu_binary, arch_page_size,
576     if (err_is_fail(err)) {
577         DEBUG_ERR(err, "Can not allocate space for new app kernel.");
578         return err;
581     err = cap_mark_remote(cpu_memory_cap);
582     if (err_is_fail(err)) {
583         DEBUG_ERR(err, "Can not mark cap remote.");
584         return err;
588     err = vspace_map_one_frame(&cpu_buf_memory, cpu_memory, cpu_memory_cap,
590     if (err_is_fail(err)) {
591         return err_push(err, LIB_ERR_VSPACE_MAP);
602     err = frame_alloc_identify(&spawn_memory_cap,
605     if (err_is_fail(err)) {
606         return err_push(err, LIB_ERR_FRAME_ALLOC);
609     err = cap_mark_remote(spawn_memory_cap);
610     if (err_is_fail(err)) {
611         DEBUG_ERR(err, "Can not mark cap remote.");
612         return err;
628     err = elf_load(cpu_head->e_machine, elfload_allocate, &state,
630     if (err_is_fail(err)) {
631         return err;
638     err = relocate_cpu_binary(cpu_binary, cpu_head, state, frameid, arch_page_size);
639     if (err_is_fail(err)) {
640         DEBUG_ERR(err, "Can not relocate new kernel.");
641         return err;
686     err = invoke_kcb_identify(kcb, &fid);
687     if (err_is_fail(err)) {
688         USER_PANIC_ERR(err, "Invoke frame identity for KCB failed. "
721     err = cap_destroy(spawn_memory_cap);
722     if (err_is_fail(err)) {
723         USER_PANIC_ERR(err, "cap_destroy failed");
725     err = vspace_unmap(cpu_buf_memory);
726     if (err_is_fail(err)) {
727         USER_PANIC_ERR(err, "vspace unmap CPU driver memory failed");
729     err = cap_destroy(cpu_memory_cap);
730     if (err_is_fail(err)) {
731         USER_PANIC_ERR(err, "cap_destroy failed");