atf_check_mstosbt

107

atf_check_mstosbt(0, 0);

108

atf_check_mstosbt(4294967, 1);

110

atf_check_mstosbt((1ll << 32) - 4294968, 999);

111

atf_check_mstosbt(1ll << 32, 1000);

113

atf_check_mstosbt((1ll << 33) - 4294968, 1999);

114

atf_check_mstosbt(1ll << 33, 2000);

116

atf_check_mstosbt((1ll << 34) - 4294968, 3999);

117

atf_check_mstosbt(1ll << 34, 4000);

119

atf_check_mstosbt(((1ll << 31) - 1) << 32, ((1ll << 31) - 1) * 1000);