Searched refs:ghcbs_initialized (Results 1 – 1 of 1) sorted by relevance
130 ghcbs_initialized : 1, member843 if (sev_cfg.ghcbs_initialized) in __set_pages_state()852 if (sev_cfg.ghcbs_initialized) in __set_pages_state()1252 sev_cfg.ghcbs_initialized = true; in setup_ghcb()
