Searched refs:cpu_id (Results 1 – 12 of 12) sorted by relevance
| /seL4-master/src/arch/x86/kernel/ |
| A D | x2apic.c | 58 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id) in apic_send_init_ipi() argument
62 cpu_id /* dest */ in apic_send_init_ipi()
75 cpu_id /* dest */ in apic_send_init_ipi()
88 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) in apic_send_startup_ipi() argument
98 cpu_id /* dest */ in apic_send_startup_ipi()
111 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) in apic_send_ipi_core() argument
115 cpu_id /* dest */ in apic_send_ipi_core()
|
| A D | xapic.c | 64 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id) in apic_send_init_ipi() argument
68 cpu_id /* dest */ in apic_send_init_ipi()
82 cpu_id /* dest */ in apic_send_init_ipi()
96 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) in apic_send_startup_ipi() argument
106 cpu_id /* dest */ in apic_send_startup_ipi()
120 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id) in apic_send_ipi_core() argument
130 cpu_id /* dest */ in apic_send_ipi_core()
|
| A D | smp_sys.c | 35 BOOT_CODE static void start_cpu(cpu_id_t cpu_id, paddr_t boot_fun_paddr) in start_cpu() argument
41 apic_send_init_ipi(cpu_id); in start_cpu()
42 apic_send_startup_ipi(cpu_id, boot_fun_paddr); in start_cpu()
|
| A D | boot.c | 87 cpu_id_t cpu_id, in init_sys_state() argument
320 if (!vtd_init(cpu_id, rmrr_list)) { in init_sys_state()
|
| A D | boot_sys.c | 144 static BOOT_CODE bool_t try_boot_sys_node(cpu_id_t cpu_id) in try_boot_sys_node() argument
178 cpu_id, in try_boot_sys_node()
|
| /seL4-master/include/arch/arm/arch/32/mode/smp/ |
| A D | smp.h | 28 cpu_id_t cpu_id; in getCurrentCPUIndex() local
32 cpu_id = sp >> CONFIG_KERNEL_STACK_BITS; in getCurrentCPUIndex()
33 return cpu_id; in getCurrentCPUIndex()
|
| /seL4-master/include/arch/x86/arch/32/mode/model/ |
| A D | smp.h | 24 cpu_id_t cpu_id; in getCurrentCPUIndex() local
28 cpu_id = esp >> CONFIG_KERNEL_STACK_BITS; in getCurrentCPUIndex()
29 return cpu_id; in getCurrentCPUIndex()
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | apic.h | 16 BOOT_CODE void apic_send_init_ipi(cpu_id_t cpu_id);
17 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr);
30 void apic_send_ipi_core(irq_t vector, cpu_id_t cpu_id);
|
| A D | boot.h | 31 cpu_id_t cpu_id,
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | acpi.c | 115 uint8_t cpu_id; member
320 uint8_t cpu_id = ((acpi_madt_apic_t *)acpi_madt_header)->apic_id; in acpi_madt_scan() local
323 printf("ACPI: MADT_APIC apic_id=0x%x\n", cpu_id); in acpi_madt_scan()
327 cpu_list[num_cpu] = cpu_id; in acpi_madt_scan()
334 uint32_t cpu_id = ((acpi_madt_x2apic_t *)acpi_madt_header)->x2apic_id; in acpi_madt_scan() local
337 printf("ACPI: MADT_x2APIC apic_id=0x%x\n", cpu_id); in acpi_madt_scan()
341 cpu_list[num_cpu] = cpu_id; in acpi_madt_scan()
|
| A D | intel-vtd.c | 395 BOOT_CODE static bool_t vtd_enable(cpu_id_t cpu_id) in vtd_enable() argument
430 addr |= (cpu_id << 12); in vtd_enable()
518 BOOT_CODE bool_t vtd_init(cpu_id_t cpu_id, acpi_rmrr_list_t *rmrr_list) in vtd_init() argument
531 if (!vtd_enable(cpu_id)) { in vtd_init()
|
| /seL4-master/include/plat/pc99/plat/machine/ |
| A D | intel-vtd.h | 20 bool_t vtd_init(cpu_id_t cpu_id, acpi_rmrr_list_t *rmrr_list);
|
Completed in 16 milliseconds