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