Searched refs:zynq_get_boot_mode (Results 1 – 2 of 2) sorted by relevance
431 printf("\tboot mode 0x%x\n", zynq_get_boot_mode()); in platform_init()453 uint32_t boot_mode = zynq_get_boot_mode(); in platform_abort_autoboot()
571 static inline uint32_t zynq_get_boot_mode(void) { return SLCR->BOOT_MODE & ZYNQ_BOOT_MODE_MASK; } in zynq_get_boot_mode() function
Completed in 7 milliseconds