dtrace_fuword32_nocheck
return (dtrace_fuword32_nocheck(uaddr));
uint32_t dtrace_fuword32_nocheck(void *);
uint32_t dtrace_fuword32_nocheck(void *);
val = dtrace_fuword32_nocheck(uaddr);
DEFINE_IFUNC(, uint32_t, dtrace_fuword32_nocheck, (void *))
return (dtrace_fuword32_nocheck(uaddr));
uint32_t dtrace_fuword32_nocheck(void *);
uint32_t dtrace_fuword32_nocheck(void *);
return (dtrace_fuword32_nocheck(uaddr));
return (dtrace_fuword32_nocheck(uaddr));
uint32_t dtrace_fuword32_nocheck(void *);