Searched defs:upper_64kb (Results 1 – 2 of 2) sorted by relevance
1286 uint32_t upper_64kb = 0xffff0000; in check_range() local