Searched refs:sign_extend_proof (Results 1 - 3 of 3) sorted by relevance
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | bitfield_gen.py | 1194 def sign_extend_proof(high, base_bits, base_sign_extend): function
1389 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
1424 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2276 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2299 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
|
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 1194 def sign_extend_proof(high, base_bits, base_sign_extend): function
1389 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
1424 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2276 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2299 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
|
| /seL4-mcs-10.1.1/tools/ |
| H A D | bitfield_gen.py | 1194 def sign_extend_proof(high, base_bits, base_sign_extend): function
1389 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
1424 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2276 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2299 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
|
Completed in 35 milliseconds