On 10.10.2025 10:42, Oleksii Kurochko wrote: > Anyway, if|domain_crash()| is called, I’m not really sure we need to set > PTE type afterward. We could simply add a|return;| right after the > |domain_crash()| call and so we won't have NULL pointer deference.
That's indeed preferable, so long as it won't cause other issues in the caller. Jan
