| 1 | *************** |
|---|
| 2 | *** 423,429 **** |
|---|
| 3 | |
|---|
| 4 | // Give a port a name, without changing its refcount |
|---|
| 5 | // GrP fixme don't override name if it already has a specific one |
|---|
| 6 | - __private_extern__ void assign_port_name(mach_port_t port, const char *name) |
|---|
| 7 | { |
|---|
| 8 | OpenPort *i; |
|---|
| 9 | if (!port) return; |
|---|
| 10 | --- 423,429 ---- |
|---|
| 11 | |
|---|
| 12 | // Give a port a name, without changing its refcount |
|---|
| 13 | // GrP fixme don't override name if it already has a specific one |
|---|
| 14 | + __attribute__((visibility("hidden"))) void assign_port_name(mach_port_t port, const char *name) |
|---|
| 15 | { |
|---|
| 16 | OpenPort *i; |
|---|
| 17 | if (!port) return; |
|---|
