Searched refs:db_pmap_kernel (Results 1 – 1 of 1) sorted by relevance
114 void db_pmap_kernel(db_expr_t, bool, db_expr_t, const char *);523 db_pmap_kernel(db_expr_t addr, bool have_addr, db_expr_t count, const char *modif) in db_pmap_kernel() function1066 { DDB_ADD_CMD("kmap", db_pmap_kernel, 0,