Searched defs:bte (Results 1 – 1 of 1) sorted by relevance
79 uint64_t bte, lb, ub, pt; in helper_bndldx64() local96 uint32_t bte, lb, ub, pt; in helper_bndldx32() local113 uint64_t bte; in helper_bndstx64() local125 uint32_t bte; in helper_bndstx32() local