Searched refs:tss_ebp (Results 1 – 2 of 2) sorted by relevance
117 uint32_t tss_ebp; member
87 uint32_t tss_ebp; member458 tss->tss_ebp = GETREG(vcpu, VM_REG_GUEST_RBP); in tss32_save()556 SETREG(vcpu, VM_REG_GUEST_RBP, tss->tss_ebp); in tss32_restore()