bestcomm_tdt
struct bestcomm_tdt *tdt;
tdt = (struct bestcomm_tdt *)((char *)sc->sc_image_kva +
task * sizeof(struct bestcomm_tdt));
struct bestcomm_tdt *tdt;
tdt = (struct bestcomm_tdt *)((char *)sc->sc_image_kva +
task * sizeof(struct bestcomm_tdt));
struct bestcomm_tdt *tdt;
tdt = (struct bestcomm_tdt *)((char *)kva + bestcomm_image_entry);