tsp_conf_write
void tsp_conf_write(void *, pcitag_t, int, pcireg_t);
pc->pc_conf_write = tsp_conf_write;