29     fwk_assert(ppu != NULL);  in ppu_v1_init()
47     fwk_assert(ppu != NULL);  in ppu_v1_request_power_mode()
48     fwk_assert(ppu_mode < PPU_V1_MODE_COUNT);  in ppu_v1_request_power_mode()
75     fwk_assert(ppu != NULL);  in ppu_v1_request_operating_mode()
76     fwk_assert(op_mode < PPU_V1_OPMODE_COUNT);  in ppu_v1_request_operating_mode()
89     fwk_assert(ppu != NULL);  in ppu_v1_opmode_dynamic_enable()
90     fwk_assert(min_dyn_mode < PPU_V1_OPMODE_COUNT);  in ppu_v1_opmode_dynamic_enable()
105     fwk_assert(ppu != NULL);  in ppu_v1_dynamic_enable()
106     fwk_assert(min_dyn_state < PPU_V1_MODE_COUNT);  in ppu_v1_dynamic_enable()
116     fwk_assert(ppu != NULL);  in ppu_v1_lock_off_enable()
123     fwk_assert(ppu != NULL);  in ppu_v1_lock_off_disable()
130     fwk_assert(ppu != NULL);  in ppu_v1_get_power_mode()
137     fwk_assert(ppu != NULL);  in ppu_v1_get_programmed_power_mode()
144     fwk_assert(ppu != NULL);  in ppu_v1_get_operating_mode()
152     fwk_assert(ppu != NULL);  in ppu_v1_get_programmed_operating_mode()
160     fwk_assert(ppu != NULL);  in ppu_v1_is_dynamic_enabled()
167     fwk_assert(ppu != NULL);  in ppu_v1_is_locked()
178     fwk_assert(ppu != NULL);  in ppu_v1_is_power_devactive_high()
187     fwk_assert(ppu != NULL);  in ppu_v1_is_op_devactive_high()
198     fwk_assert(ppu != NULL);  in ppu_v1_off_unlock()
208     fwk_assert(ppu != NULL);  in ppu_v1_disable_devactive()
215     fwk_assert(ppu != NULL);  in ppu_v1_disable_handshake()
225     fwk_assert(ppu != NULL);  in ppu_v1_interrupt_mask()
232     fwk_assert(ppu != NULL);  in ppu_v1_additional_interrupt_mask()
239     fwk_assert(ppu != NULL);  in ppu_v1_interrupt_unmask()
247     fwk_assert(ppu != NULL);  in ppu_v1_additional_interrupt_unmask()
260     fwk_assert(ppu != NULL);  in ppu_v1_ack_interrupt()
267     fwk_assert(ppu != NULL);  in ppu_v1_ack_additional_interrupt()
275     fwk_assert(ppu != NULL);  in ppu_v1_set_input_edge_sensitivity()
276     fwk_assert(ppu_mode < PPU_V1_MODE_COUNT);  in ppu_v1_set_input_edge_sensitivity()
277     fwk_assert((edge_sensitivity & ~PPU_V1_EDGE_SENSITIVITY_MASK) == 0);  in ppu_v1_set_input_edge_sensitivity()
291     fwk_assert(ppu != NULL);  in ppu_v1_get_input_edge_sensitivity()
292     fwk_assert(ppu_mode < PPU_V1_MODE_COUNT);  in ppu_v1_get_input_edge_sensitivity()
315     fwk_assert(ppu != NULL);  in ppu_v1_set_op_active_edge_sensitivity()
316     fwk_assert(op_devactive < PPU_V1_OP_DEVACTIVE_COUNT);  in ppu_v1_set_op_active_edge_sensitivity()
317     fwk_assert((edge_sensitivity & ~PPU_V1_EDGE_SENSITIVITY_MASK) == 0);  in ppu_v1_set_op_active_edge_sensitivity()
331     fwk_assert(ppu != NULL);  in ppu_v1_get_op_active_edge_sensitivity()
332     fwk_assert(op_devactive < PPU_V1_OP_DEVACTIVE_COUNT);  in ppu_v1_get_op_active_edge_sensitivity()
370     fwk_assert(ppu != NULL);  in ppu_v1_get_arch_id()
381     fwk_assert(ppu != NULL);  in ppu_v1_get_failure_device_id()