Searched refs:adr_hi (Results 1 – 11 of 11) sorted by relevance
13 :extrafuns ((adr_hi Int))24 …0) (= fmt_length 11)) (= adr_lo 5)) (= adr_medlo 2)) (= adr_medhi 5)) (= adr_hi 3)) (= percent 37)…26 …adr_hi)) (= (select_format 0) 255)) (= (select_format 1) percent)) (= (select_format 1) s)) (= (se…29 …dr_medlo)) (= (select_format (+ arg1 2)) adr_medhi)) (= (select_format (+ arg1 3)) adr_hi))))))))))
16 :extrafuns ((adr_hi Int))27 …16) (= fmt_length 9)) (= adr_lo 3)) (= adr_medlo 4)) (= adr_medhi 1)) (= adr_hi 5)) (= percent 37)…29 …adr_hi)) (= (select_format 0) 255)) (= (select_format 1) percent)) (= (select_format 1) s)) (= (se…32 …dr_medlo)) (= (select_format (+ arg1 2)) adr_medhi)) (= (select_format (+ arg1 3)) adr_hi))))))))))
13 :extrafuns ((adr_hi Int))24 …16) (= fmt_length 9)) (= adr_lo 3)) (= adr_medlo 4)) (= adr_medhi 1)) (= adr_hi 5)) (= percent 37)…26 …adr_hi)) (= (select_format 0) 255)) (= (select_format 1) percent)) (= (select_format 1) s)) (= (se…29 …dr_medlo)) (= (select_format (+ arg1 2)) adr_medhi)) (= (select_format (+ arg1 3)) adr_hi))))))))))
12 (declare-fun adr_hi () Int)22 …adr_hi 3)) (= percent 37)) (= s 115)) (= x 120)) (and (and (and (and (and (and (and (= fmt0 0) (= …
17 (declare-fun adr_hi () Int)26 (assert (<= adr_hi 6))27 (assert (>= adr_hi 6))63 (assert (<= adr_hi 6))64 (assert (>= adr_hi 6))
20 (declare-fun adr_hi () Int)29 (assert (<= adr_hi 6))30 (assert (>= adr_hi 6))66 (assert (<= adr_hi 6))67 (assert (>= adr_hi 6))
48 uint16_t adr_hi; /* cached high bits of $3 */ member569 BP->adr_hi = 0; in ejtag_bus_init()626 uint16_t adr_hi, adr_lo; in ejtag_gen_read() local631 adr_hi = ((adr >> 16) & 0x1fff); in ejtag_gen_read()633 adr_hi += (adr_lo >> 15); in ejtag_gen_read()635 adr_hi += 0xa000; in ejtag_gen_read()637 if (BP->adr_hi != adr_hi) in ejtag_gen_read()639 BP->adr_hi = adr_hi; in ejtag_gen_read()725 uint16_t adr_hi, adr_lo; in ejtag_bus_write() local732 if (BP->adr_hi != adr_hi) in ejtag_bus_write()[all …]
141 unsigned char adr_hi; /* High 8 bits of address (unused) */ member618 MEM->init.rx_ring.adr_hi = 0; in lance_probe1()621 MEM->init.tx_ring.adr_hi = 0; in lance_probe1()