machine__resolve_kernel_addr
machine__resolve_kernel_addr(machine, &function_addr, &modp);
machine__resolve_kernel_addr,
machine__resolve_kernel_addr,
machine__resolve_kernel_addr,
return machine__resolve_kernel_addr(vmachine, addrp, modp);
char *machine__resolve_kernel_addr(void *vmachine, unsigned long long *addrp, char **modp);