get_smap_kpm
if ((smp = get_smap_kpm(addr, NULL)) == NULL) {
if ((smp = get_smap_kpm(addr, NULL)) == NULL) {
if ((smp = get_smap_kpm(addr, &pp)) == NULL) {
if ((smp = get_smap_kpm(addr, NULL)) == NULL) {
if ((smp = get_smap_kpm(addr, NULL)) == NULL) {
struct smap *get_smap_kpm(caddr_t, page_t **);