#include <sdp.h>
Public Attributes | |
uint32_t | IvtBarker |
uint32_t | ImageStartAddr |
uint32_t | Reserved |
uint32_t | DCDAddress |
uint32_t | BootData |
uint32_t | SelfAddr |
uint32_t | Reserved2 [2] |
uint32_t IvtHeader::BootData |
uint32_t IvtHeader::DCDAddress |
uint32_t IvtHeader::ImageStartAddr |
uint32_t IvtHeader::IvtBarker |
uint32_t IvtHeader::Reserved |
uint32_t IvtHeader::Reserved2[2] |
uint32_t IvtHeader::SelfAddr |