Searched defs:vmachine (Results 1 – 4 of 4) sorted by relevance
3102 char *machine__resolve_kernel_addr(void *vmachine, unsigned long long *addrp, char **modp) in machine__resolve_kernel_addr()
3378 char *machine__resolve_kernel_addr(void *vmachine, unsigned long long *addrp, char **modp) in machine__resolve_kernel_addr()
1591 static char *trace__machine__resolve_kernel_addr(void *vmachine, unsigned long long *addrp, char **… in trace__machine__resolve_kernel_addr()
1634 static char *trace__machine__resolve_kernel_addr(void *vmachine, unsigned long long *addrp, char **… in trace__machine__resolve_kernel_addr()