Home
last modified time | relevance | path

Searched refs:sipi_vec (Results 1 – 2 of 2) sorted by relevance

/xen/xen/include/asm-x86/
A Dtboot.h130 int tboot_wake_ap(int apicid, unsigned long sipi_vec);
144 static inline int tboot_wake_ap(int apicid, unsigned long sipi_vec) in tboot_wake_ap() argument
/xen/xen/arch/x86/
A Dtboot.c538 int tboot_wake_ap(int apicid, unsigned long sipi_vec) in tboot_wake_ap() argument
543 g_tboot_shared->ap_wake_addr = sipi_vec; in tboot_wake_ap()

Completed in 8 milliseconds