
  PROCEDURE [XREF] pmp$wait
    (    requested_ms: 0 .. 0ffffffffffff(16);
         expected_ms: 0 .. 0ffffffffffff(16));

