get_trbe_write_pointer
get_trbe_write_pointer() == get_trbe_base_pointer()))
write = get_trbe_write_pointer();