cb_timestamp_table
struct cb_timestamp_table *tst;
sizeof(struct cb_timestamp_table));
tst = (struct cb_timestamp_table *)va;
pmap_unmapbios(va, sizeof(struct cb_timestamp_table));
total = (uint64_t)sizeof(struct cb_timestamp_table) +
tst = (struct cb_timestamp_table *)va;