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

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dx2apic.c98 apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) argument
101 assert(IS_ALIGNED(startup_addr, PAGE_BITS));
102 /* check if startup_addr < 640K */
103 assert(startup_addr < 0xa0000);
104 startup_addr >>= PAGE_BITS;
116 startup_addr /* vector */
H A Dxapic.c105 apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr) argument
108 assert(IS_ALIGNED(startup_addr, PAGE_BITS));
109 /* check if startup_addr < 640K */
110 assert(startup_addr < 0xa0000);
111 startup_addr >>= PAGE_BITS;
124 startup_addr /* vector */
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dapic.h22 BOOT_CODE void apic_send_startup_ipi(cpu_id_t cpu_id, paddr_t startup_addr);

Completed in 41 milliseconds