HAT_PCP
ASSERT(hat == kas.a_hat || (hat->hat_flags & HAT_PCP) != 0 ||
ASSERT3U(cpu_hat->hat_flags & HAT_PCP, ==, HAT_PCP);
hat->hat_flags = HAT_PCP;
VERIFY3U(hat->hat_flags & HAT_PCP, ==, 0);
HAT_PCP)) != 0) {