Home	Sort by relevance Sort by last modified time

Full Search Definition Symbol File Path History   | | Help

    Searched refs:bl31_register_bl32_init (Results 1 - 4 of 4) sorted by null

/device/linaro/bootloader/arm-trusted-firmware/include/bl31/
bl31.h	44 void bl31_register_bl32_init(int32_t (*)(void));
/device/linaro/bootloader/arm-trusted-firmware/bl31/
bl31_main.c	44 * by SPD calling bl31_register_bl32_init after setting up all things necessary 166 void bl31_register_bl32_init(int32_t (*func)(void)) function
/device/linaro/bootloader/arm-trusted-firmware/services/spd/opteed/
opteed_main.c	287 bl31_register_bl32_init(&opteed_init);
/device/linaro/bootloader/arm-trusted-firmware/services/spd/tspd/
tspd_main.c	243 bl31_register_bl32_init(&tspd_init);

Completed in 471 milliseconds