pub fn two_phase_refusal(cfg: &Config) -> Option<&'static str>Expand description
Why this configuration cannot keep the two-phase delivery protocol
(Tool::announce_signal_event), if it cannot: a part of the commit would
file a scheduler request, or would read what only exists after the
kernel’s dequeue (the thread’s queues, or the delivery’s siginfo).
Public because the host’s in-guest delivery gate requires None on the
final prepared configuration (Config::in_guest_signal_delivery, D35 of
the A5 design), and must ask Detcore rather than restate the rows.