Searched defs:vcxt (Results 1 – 1 of 1) sorted by relevance
388 struct whpx_register_set vcxt; in whpx_set_registers() local603 struct whpx_register_set vcxt; in whpx_get_registers() local