struct zbi_dcfg_arm_psci_driver_t

Defined at line 133 of file ../../sdk/lib/zbi-format/include/lib/zbi-format/driver-config.h

for ZBI_KERNEL_DRIVER_ARM_PSCI

Public Members

uint8_t use_hvc

uint8_t[7] reserved

uint64_t[3] shutdown_args

uint64_t[3] reboot_args

uint64_t[3] reboot_bootloader_args

uint64_t[3] reboot_recovery_args