dino_clear_pdc_mappings
startuphook_establish(dino_clear_pdc_mappings, sc);
void dino_clear_pdc_mappings(void *);