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 D | smp.h | 38 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 D | smp.h | 35 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 D | x2apic.c | 67 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 D | xapic.c | 72 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 D | smp_sys.c | 43 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 D | boot.c | 246 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 D | boot_sys.c | 197 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 D | intel-vtd.h | 23 cpu_id_t cpu_id,
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
H A D | apic.h | 21 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 D | boot.h | 35 cpu_id_t cpu_id,
|
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/ |
H A D | acpi.c | 119 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 D | intel-vtd.c | 376 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