Searched refs:fault_addr_mask (Results 1 – 1 of 1) sorted by relevance
784 uint64_t fault_addr_mask = fault_addr_bitmask(0, 64 - T1SZ_BOOT - 1); in sleh_synchronous() local785 uint64_t masked_expected_pc = saved_expected_fault_pc & fault_addr_mask; in sleh_synchronous()786 uint64_t masked_saved_pc = get_saved_state_pc(state) & fault_addr_mask; in sleh_synchronous()