Searched refs:__VCPU_REGS_RBX (Results 1 – 4 of 4) sorted by relevance
8 #define __VCPU_REGS_RBX 3 macro
155 VCPU_REGS_RBX = __VCPU_REGS_RBX,
13 #define VCPU_RBX __VCPU_REGS_RBX * WORD_SIZE
15 #define VCPU_RBX __VCPU_REGS_RBX * WORD_SIZE