Searched refs:switch_to_tboot_pt (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.10/arch/x86/kernel/ | ||
| D | tboot.c | 101 static inline void switch_to_tboot_pt(void) in switch_to_tboot_pt() function |
Searched refs:switch_to_tboot_pt (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.10/arch/x86/kernel/ | ||
| D | tboot.c | 101 static inline void switch_to_tboot_pt(void) in switch_to_tboot_pt() function |