Searched defs:cpu_id (Results 1 - 9 of 9) 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
|
/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
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
H A D | smp_sys.c | 43 start_cpu(cpu_id_t cpu_id, paddr_t boot_fun_paddr) argument
|
H A D | x2apic.c | 67 apic_send_init_ipi(cpu_id_t cpu_id) argument 98 apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) argument 121 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) argument
|
H A D | xapic.c | 72 apic_send_init_ipi(cpu_id_t cpu_id) argument 105 apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) argument 129 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) argument
|
H A D | boot.c | 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
|
/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 330 uint8_t cpu_id = ((acpi_madt_apic_t*)acpi_madt_header)->apic_id; local 344 uint32_t cpu_id = ((acpi_madt_x2apic_t*)acpi_madt_header)->x2apic_id; local
|
H A D | intel-vtd.c | 376 vtd_enable(cpu_id_t cpu_id) argument 442 vtd_init( cpu_id_t cpu_id, uint32_t num_drhu, acpi_rmrr_list_t *rmrr_list ) argument
|
Completed in 66 milliseconds