Searched refs:setup_ghcb (Results 1 – 4 of 4) sorted by relevance
201 void setup_ghcb(void);225 static inline void setup_ghcb(void) { } in setup_ghcb() function
613 setup_ghcb(); in early_setup_idt()
1220 void setup_ghcb(void) in setup_ghcb() function
2287 setup_ghcb(); in cpu_init_exception_handling()