Searched refs:setup_ghcb (Results 1 – 4 of 4) sorted by relevance
504 void setup_ghcb(void);611 static inline void setup_ghcb(void) { } in setup_ghcb() function
318 setup_ghcb(); in early_setup_idt()
1356 void setup_ghcb(void) in setup_ghcb() function
2406 setup_ghcb(); in cpu_init_exception_handling()