fusee: update header names for starting cpu0

This commit is contained in:
Kate J. Temkin
2018-04-08 19:13:23 -06:00
parent 271272e13b
commit 60c0df032d
2 changed files with 2 additions and 2 deletions

View File

@@ -33,6 +33,6 @@ u32 *display_init_framebuffer();
/*! Enable or disable the backlight. Should only be called when the screen is completely set up, to avoid flickering. */
void display_enable_backlight(bool on);
void cluster_boot_cpu0(u64 entry, u32 ns_disable);
void cluster_enable_cpu0(u64 entry, u32 ns_disable);
#endif