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