Searched refs:GUEST_CS_AR_BYTES (Results 1 – 2 of 2) sorted by relevance
184 GUEST_CS_AR_BYTES = 0x00004816, enumerator
1720 vmcs_write32(GUEST_CS_AR_BYTES, 0x9b); in enter_pmode()1804 vmcs_write32(GUEST_CS_AR_BYTES, 0xf3); in enter_rmode()2191 u32 ar = vmcs_read32(GUEST_CS_AR_BYTES); in vmx_get_cs_db_l_bits()