brbe_record_valid
return brbe_record_valid(brbinf) == BRBINFx_EL1_VALID_NONE;
return brbe_record_valid(brbinf) == BRBINFx_EL1_VALID_FULL;
return brbe_record_valid(brbinf) == BRBINFx_EL1_VALID_SOURCE;
return brbe_record_valid(brbinf) == BRBINFx_EL1_VALID_TARGET;