Searched defs:tsx_ctrl (Results 1 – 10 of 10) sorted by relevance
6853 struct vmx_uret_msr *tsx_ctrl; in vmx_create_vcpu() local
1456 uint32_t tsx_ctrl; member
1483 uint32_t tsx_ctrl; member
1465 uint32_t tsx_ctrl; member
1503 uint32_t tsx_ctrl; member
1539 uint32_t tsx_ctrl; member