/libports/

• ../
• Makefile
• allocate-port.c
• begin-rpc.c
• bucket-iterate.c
• complete-deallocate.c
• count-bucket.c
• count-class.c
• create-bucket.c
• create-class.c
• create-port.c
• dead-name.c
• destroy-right.c
• enable-bucket.c
• enable-class.c
• end-rpc.c
• get-right.c
• inhibit-all-rpcs.c
• inhibit-bucket-rpcs.c
• inhibit-class-rpcs.c
• inhibit-port-rpcs.c
• init.c
• intern-external-port.c
• interrupt-notified-rpcs.c
• interrupt-on-notify.c
• interrupt-operation.c
• interrupt-rpcs.c
• lookup-port.c
• manage-multithread.c
• manage-one-thread.c
• no-senders.c
• notify-dead-name.c
• notify-msg-accepted.c
• notify-no-senders.c
• notify-port-deleted.c
• notify-port-destroyed.c
• notify-send-once.c
• port-deref-weak.c
• port-deref.c
• port-ref-weak.c
• port-ref.c
• ports.h
• reallocate-from-external.c
• reallocate-port.c
• resume-all-rpcs.c
• resume-bucket-rpcs.c
• resume-class-rpcs.c
• resume-port-rpcs.c
• stubs.c