Searched refs:setup_ghcb (Results 1 – 4 of 4) sorted by relevance
384 void setup_ghcb(void);414 static inline void setup_ghcb(void) { } in setup_ghcb() function
550 setup_ghcb(); in early_setup_idt()
2202 setup_ghcb(); in cpu_init_exception_handling()
1381 void setup_ghcb(void) in setup_ghcb() function