| 66 | } |
| 67 | |
| 68 | void |
| 69 | mac_posixsem_init(struct ksem *ks) |
| 70 | { |
| 71 | |
| 72 | if (mac_labeled & MPC_OBJECT_POSIXSEM) |
| 73 | ks->ks_label = mac_posixsem_label_alloc(); |
| 74 | else |
| 75 | ks->ks_label = NULL; |
| 76 | } |
| 77 | |
| 78 | static void |
| 79 | mac_posixsem_label_free(struct label *label) |
no test coverage detected