| 107 | } |
| 108 | |
| 109 | static void |
| 110 | platform_pl310_write_ctrl(struct pl310_softc *sc, uint32_t val) |
| 111 | { |
| 112 | |
| 113 | PLATFORM_PL310_WRITE_CTRL(platform_obj(), sc, val); |
| 114 | } |
| 115 | |
| 116 | static void |
| 117 | platform_pl310_write_debug(struct pl310_softc *sc, uint32_t val) |
no test coverage detected