| 455 | } |
| 456 | |
| 457 | static __inline void |
| 458 | pm_disable_device(int mask) |
| 459 | { |
| 460 | #ifdef DIAGNOSTIC |
| 461 | uint32_t reg; |
| 462 | |
| 463 | reg = soc_power_ctrl_get(CPU_PM_CTRL_ALL); |
| 464 | printf("Power Management Register: 0%x\n", reg); |
| 465 | |
| 466 | reg &= ~mask; |
| 467 | soc_power_ctrl_set(reg); |
| 468 | printf("Device %x is disabled\n", mask); |
| 469 | |
| 470 | reg = soc_power_ctrl_get(CPU_PM_CTRL_ALL); |
| 471 | printf("Power Management Register: 0%x\n", reg); |
| 472 | #endif |
| 473 | } |
| 474 | |
| 475 | int |
| 476 | mv_fdt_is_type(phandle_t node, const char *typestr) |
no test coverage detected