5#ifndef OPENTITAN_SW_DEVICE_SILICON_CREATOR_LIB_BOOT_SVC_BOOT_SVC_HEADER_H_
6#define OPENTITAN_SW_DEVICE_SILICON_CREATOR_LIB_BOOT_SVC_BOOT_SVC_HEADER_H_
12#include "sw/device/silicon_creator/lib/drivers/hmac.h"
13#include "sw/device/silicon_creator/lib/error.h"
25 kBootSvcIdentifier = 0x43565342,
78void boot_svc_header_finalize(uint32_t type, uint32_t length,
79 boot_svc_header_t *header);
93rom_error_t boot_svc_header_check(
const boot_svc_header_t *header);