OP_AT_S1E1RP
wi.pan = (op == OP_AT_S1E1RP || op == OP_AT_S1E1WP) &&
case OP_AT_S1E1RP:
fail = __kvm_at(OP_AT_S1E1RP, vaddr);