ecache_regs() call Since we aren't modifying any register, there's no need to decache the register state. Signed-off-by: Avi Kivity žn{º’