Convert one void* to arch_addr_t in x86 backend
1 file changed