Searched refs:__VCPU_REGS_RBP (Results 1 – 4 of 4) sorted by relevance
10 #define __VCPU_REGS_RBP 5 macro
148 VCPU_REGS_RBP = __VCPU_REGS_RBP,
15 #define VCPU_RBP __VCPU_REGS_RBP * WORD_SIZE
16 #define VCPU_RBP __VCPU_REGS_RBP * WORD_SIZE
