db_valid_breakpoint
int db_valid_breakpoint(db_addr_t);
#define DB_VALID_BREAKPOINT(addr) db_valid_breakpoint(addr)