Searched defs:sext (Results 1 – 4 of 4) sorted by relevance
592 int64_t sext = (int64_t)addr >> shift; in get_physical_address() local
267 int32_t sext; in x86_cpu_get_phys_page_attrs_debug() local
922 int32_t sext; in get_rsp_from_tss() local
1449 bool sext = extract32(tcr, 4, 1); in aa32_va_parameters() local