Searched refs:setup_ghcb (Results 1 – 4 of 4) sorted by relevance
456 void setup_ghcb(void);498 static inline void setup_ghcb(void) { } in setup_ghcb() function
556 setup_ghcb(); in early_setup_idt()
2310 setup_ghcb(); in cpu_init_exception_handling()
1590 void setup_ghcb(void) in setup_ghcb() function