kmdb_kdi_get_userlimit
extern uintptr_t kmdb_kdi_get_userlimit(void);
if (addr < kmdb_kdi_get_userlimit())