5#ifndef OPENTITAN_SW_DEVICE_SILICON_CREATOR_LIB_BOOT_SVC_BOOT_SVC_EMPTY_H_
6#define OPENTITAN_SW_DEVICE_SILICON_CREATOR_LIB_BOOT_SVC_BOOT_SVC_EMPTY_H_
11#include "sw/device/silicon_creator/lib/boot_svc/boot_svc_header.h"
19 kBootSvcEmptyReqType = 0x54504d45,
21 kBootSvcEmptyResType = 0x454d5054,
22 kBootSvcEmptyPayloadWordCount =
44 uint32_t
payload[kBootSvcEmptyPayloadWordCount];
57void boot_svc_empty_req_init(boot_svc_empty_t *msg);
64void boot_svc_empty_res_init(boot_svc_empty_t *msg);