fn trb_is_valid(atrb: &AddressedTrb) -> bool