x86: provide machine code for the pointer_dereference and
commitb73b5831397232881ecb6e74a7ad82c235f388a2
authorMikulas Patocka <mikulas@twibright.com>
Tue, 19 Nov 2024 19:03:19 +0000 (19 20:03 +0100)
committerMikulas Patocka <mikulas@twibright.com>
Tue, 19 Nov 2024 19:05:13 +0000 (19 20:05 +0100)
tree3cd345c766df868873a4f420fc421ab1015592b0
parent71427362a847bf3d65c09d147a4361d3b7a55d52
x86: provide machine code for the pointer_dereference and
pointer_reference_owned upcalls
ipret.c
ipret.h