[[!meta copyright="Copyright © 2011 Free Software Foundation, Inc."]]

[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
document under the terms of the GNU Free Documentation License, Version 1.2 or
any later version published by the Free Software Foundation; with no Invariant
Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
is included in the section entitled [[GNU Free Documentation
License|/fdl]]."]]"""]]

[[!tag open_issue_gnumach]]

There is a [[!FF_project 267]][[!tag bounty]] on this task.

IRC, freenode, #hurd, 2011-02-17

    <azeem> task 39011c10 deallocating an invalid port 349, most probably a
      bug.
    <azeem> kernel: Page fault (14), code=6
    <azeem> Stopped at  0x28b9c7:   orb     %bh,0(%ecx,%edi,2)
    <azeem> db> 
    [...]
    <antrik> tschwinge: I doubt the deallocating warning is related to the
      later fault
    <tschwinge> antrik: YOu may be right.
    <tschwinge> Perhaps it'd be a good idea to add some sort of timestamp to
      Mach messages.
    <tschwinge> Like in Linux' dmesg.
    <tschwinge> Or just RDTSC (internal processor counter).