Home
last modified time | relevance | path

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

/linux-6.12.1/arch/x86/kernel/
Dtboot.c108 static inline void switch_to_tboot_pt(void) in switch_to_tboot_pt() function
249 switch_to_tboot_pt(); in tboot_shutdown()