p31b_setcfg: Set the configuration */
| 126 | /* p31b_setcfg: Set the configuration |
| 127 | */ |
| 128 | void |
| 129 | p31b_setcfg(int num, int value) |
| 130 | { |
| 131 | |
| 132 | if (P31B_VALID(num)) { |
| 133 | facility[num - 1] = value; |
| 134 | facility_initialized[num - 1] = 1; |
| 135 | } |
| 136 | } |
| 137 | |
| 138 | void |
| 139 | p31b_unsetcfg(int num) |
no outgoing calls
no test coverage detected