__hvs_remove_pcb_from_list
__hvs_remove_pcb_from_list(sc->pcb,
__hvs_remove_pcb_from_list(pcb, list);