204 	uint64_t addr_a, addr_b;  in addr_filter_0()  local
221 	addr_b = pt_filter_addr_b(&config.addr_filter, 0);  in addr_filter_0()
222 	ptu_uint_eq(addr_b, 0xb000ull);  in addr_filter_0()
237 	uint64_t addr_a, addr_b;  in addr_filter_1_3()  local
259 	addr_b = pt_filter_addr_b(&config.addr_filter, 1);  in addr_filter_1_3()
260 	ptu_uint_eq(addr_b, 0xb000ull);  in addr_filter_1_3()
271 	addr_b = pt_filter_addr_b(&config.addr_filter, 3);  in addr_filter_1_3()
272 	ptu_uint_eq(addr_b, 0x100b000ull);  in addr_filter_1_3()
280 	uint64_t addr_a, addr_b;  in addr_filter_oob()  local
293 	addr_b = pt_filter_addr_b(&config.addr_filter, filter);  in addr_filter_oob()
294 	ptu_uint_eq(addr_b, 0ull);  in addr_filter_oob()