vmsplice(0xffffffffffffffff, 0x0, 0x0, 0x90d26d09fc980703)