Searched refs:platform_notify_bsp (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/kernel/arch/armv8/
H A Dplat_arm_vm.c54 void platform_notify_bsp(lpaddr_t *mailbox) function
H A Dplat_cn88xx.c111 void platform_notify_bsp(lpaddr_t *mailbox) function
H A Dplat_imx8x.c119 void platform_notify_bsp(lpaddr_t *mailbox) function
H A Dplat_qemu.c114 void platform_notify_bsp(lpaddr_t *mailbox) function
H A Dplat_rpi3.c92 void platform_notify_bsp(lpaddr_t *mailbox) function
/barrelfish-master/kernel/arch/armv7/
H A Dboot_protocol.c85 platform_notify_bsp(uint32_t *mailbox) { function
H A Dinit.c175 platform_notify_bsp(&bootrec->done);
333 platform_notify_bsp();
/barrelfish-master/kernel/include/arch/arm/
H A Dplatform.h63 void platform_notify_bsp(lpaddr_t *mailbox);

Completed in 98 milliseconds