Searched refs:register_t (Results 1 – 6 of 6) sorted by relevance
41 static register_t bl1_fwu_image_resume(register_t image_param,82 SMC_RET1(handle, bl1_fwu_image_resume((register_t)x1, &handle, in bl1_fwu_smc_handler()555 static register_t bl1_fwu_image_resume(register_t image_param, in bl1_fwu_image_resume()
499 register_t *gpio_addr, in plat_marvell_power_off_gpio()500 register_t *gpio_data) in plat_marvell_power_off_gpio()577 register_t *addr, register_t *data) in plat_marvell_power_off_prepare()741 register_t gpio_data = 0, gpio_addr = 0; in a8k_pwr_domain_pwr_down_wfi()
119 typedef long register_t; typedef
96 static void ldelay(register_t delay) in ldelay()
336 return (u_register_t)(register_t) PSCI_E_INVALID_PARAMS; in psci_migrate_info_up_cpu()
412 register_t image_param415 register_t : image_param (Success)460 register_t client_cookie