Searched refs:sipi_vec (Results 1 – 2 of 2) sorted by relevance
130 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
538 int tboot_wake_ap(int apicid, unsigned long sipi_vec) in tboot_wake_ap() argument543 g_tboot_shared->ap_wake_addr = sipi_vec; in tboot_wake_ap()
Completed in 8 milliseconds