Searched refs:sign_extend_proof (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/kernel/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 1245 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 D | bitfield_gen.py | 1245 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 D | bitfield_gen.py | 1245 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