reboot.h

Go to the documentation of this file.

 
#ifndef REBOOT_H__
#define REBOOT_H__
 
#ifndef __ASSEMBLER__
 
#include <stdint.h>
#include <stddef.h>
 
extern uint32_t reboot_start __attribute__((section(".text")));
 
extern size_t reboot_size __attribute__((section(".text")));
 
#endif // __ASSEMBLER__
 
#endif // REBOOT_H__