Searched defs:vmachine (Results 1 – 2 of 2) sorted by relevance
3299 char *machine__resolve_kernel_addr(void *vmachine, unsigned long long *addrp, char **modp) in machine__resolve_kernel_addr()
1610 static char *trace__machine__resolve_kernel_addr(void *vmachine, unsigned long long *addrp, char **… in trace__machine__resolve_kernel_addr()