Home
last modified time | relevance | path

Searched refs:startup_addr (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/x86/kernel/
A Dx2apic.c88 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) in apic_send_startup_ipi() argument
91 assert(IS_ALIGNED(startup_addr, PAGE_BITS)); in apic_send_startup_ipi()
93 assert(startup_addr < 0xa0000); in apic_send_startup_ipi()
94 startup_addr >>= PAGE_BITS; in apic_send_startup_ipi()
106 startup_addr /* vector */ in apic_send_startup_ipi()
A Dxapic.c96 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) in apic_send_startup_ipi() argument
99 assert(IS_ALIGNED(startup_addr, PAGE_BITS)); in apic_send_startup_ipi()
101 assert(startup_addr < 0xa0000); in apic_send_startup_ipi()
102 startup_addr >>= PAGE_BITS; in apic_send_startup_ipi()
115 startup_addr /* vector */ in apic_send_startup_ipi()
/seL4-master/include/arch/x86/arch/kernel/
A Dapic.h17 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr);

Completed in 3 milliseconds