Searched refs:cpu_id (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/smp/
H A Dsmp.h38 cpu_id_t cpu_id; local
42 cpu_id = sp >> CONFIG_KERNEL_STACK_BITS;
43 return cpu_id;
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/model/
H A Dsmp.h35 cpu_id_t cpu_id; local
39 cpu_id = esp >> CONFIG_KERNEL_STACK_BITS;
40 return cpu_id;
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dx2apic.c67 apic_send_init_ipi(cpu_id_t cpu_id) argument
71 cpu_id /* dest */
84 cpu_id /* dest */
98 apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) argument
108 cpu_id /* dest */
121 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) argument
125 cpu_id /* dest */
H A Dxapic.c72 apic_send_init_ipi(cpu_id_t cpu_id) argument
76 cpu_id /* dest */
90 cpu_id /* dest */
105 apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) argument
115 cpu_id /* dest */
129 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) argument
139 cpu_id /* dest */
H A Dsmp_sys.c43 start_cpu(cpu_id_t cpu_id, paddr_t boot_fun_paddr) argument
49 apic_send_init_ipi(cpu_id);
50 apic_send_startup_ipi(cpu_id, boot_fun_paddr);
H A Dboot.c246 cpu_id_t cpu_id,
472 if (!vtd_init(cpu_id, num_drhu, rmrr_list)) {
245 init_sys_state( cpu_id_t cpu_id, mem_p_regs_t mem_p_regs, ui_info_t ui_info, p_region_t boot_mem_reuse_p_reg, uint32_t num_drhu, paddr_t* drhu_list, acpi_rmrr_list_t *rmrr_list, acpi_rsdp_t *acpi_rsdp, seL4_X86_BootInfo_VBE *vbe, seL4_X86_BootInfo_mmap_t *mb_mmap, seL4_X86_BootInfo_fb_t *fb_info ) argument
H A Dboot_sys.c197 try_boot_sys_node(cpu_id_t cpu_id) argument
231 cpu_id,
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dintel-vtd.h23 cpu_id_t cpu_id,
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dapic.h21 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id);
22 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr);
35 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id);
H A Dboot.h35 cpu_id_t cpu_id,
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dacpi.c119 uint8_t cpu_id; member in struct:acpi_madt_apic
329 /* what Intel calls apic_id is what is called cpu_id in seL4! */
330 uint8_t cpu_id = ((acpi_madt_apic_t*)acpi_madt_header)->apic_id; local
333 printf("ACPI: MADT_APIC apic_id=0x%x\n", cpu_id);
337 cpu_list[num_cpu] = cpu_id;
344 uint32_t cpu_id = ((acpi_madt_x2apic_t*)acpi_madt_header)->x2apic_id; local
347 printf("ACPI: MADT_x2APIC apic_id=0x%x\n", cpu_id);
351 cpu_list[num_cpu] = cpu_id;
H A Dintel-vtd.c376 vtd_enable(cpu_id_t cpu_id) argument
411 addr |= (cpu_id << 12);
443 cpu_id_t cpu_id,
517 if (!vtd_enable(cpu_id)) {
442 vtd_init( cpu_id_t cpu_id, uint32_t num_drhu, acpi_rmrr_list_t *rmrr_list ) argument

Completed in 100 milliseconds