GITS_BASER_Valid
baser |= GITS_BASER_Valid;
if ((l1_tab[index] & GITS_BASER_Valid) == 0) {
l1_tab[index] = pt->pt_dma.segs[0].ds_addr | GITS_BASER_Valid;