sitd_entry
/ (B_PAGE_SIZE / sizeof(sitd_entry)) * B_PAGE_SIZE;
sitd_entry* sitds = (sitd_entry *)((uint8 *)fPeriodicFrameList + B_PAGE_SIZE
dprintf("sitd entry size %lu, itd entry size %lu\n", sizeof(sitd_entry),
sitdPhysicalBase += sizeof(sitd_entry);