Searched refs:pinbased_ctls (Results 1 – 1 of 1) sorted by relevance
178 static uint32_t pinbased_ctls, procbased_ctls, procbased_ctls2; variable515 PINBASED_CTLS_ZERO_SETTING, &pinbased_ctls); in vmx_init()727 pin_ctls = pinbased_ctls; in vmx_vminit()