Searched refs:sign_extend_proof (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py1245 def sign_extend_proof(high, base_bits, base_sign_extend): function
1449 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
1486 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2348 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2371 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
/seL4-test-master/kernel/libsel4/tools/
H A Dbitfield_gen.py1245 def sign_extend_proof(high, base_bits, base_sign_extend): function
1449 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
1486 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2348 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2371 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
/seL4-test-master/kernel/tools/
H A Dbitfield_gen.py1245 def sign_extend_proof(high, base_bits, base_sign_extend): function
1449 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
1486 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2348 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2371 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)

Completed in 37 milliseconds