Symbol: get_va_bits
usr/src/uts/sun4v/os/fillsysinfo.c
430
get_va_bits(mdp, cpulist[0]);
usr/src/uts/sun4v/os/fillsysinfo.c
75
static void get_va_bits(md_t *, mde_cookie_t);