Searched defs:vmachine (Results 1 – 2 of 2) sorted by relevance
3228 char *machine__resolve_kernel_addr(void *vmachine, unsigned long long *addrp, char **modp) in machine__resolve_kernel_addr()
1964 trace__machine__resolve_kernel_addr(void * vmachine,unsigned long long * addrp,char ** modp) trace__machine__resolve_kernel_addr() argument