device_security_state

device_security_state = {
    secboot_enabled => bool,
    sec_hwkey_programmed => bool,
    debug_disable => bool,
    anti_rollback => bool,
    fuse_config => bool,
    rpmb_provisioned => bool,
    debug_image => bool,
    misc_debug => bool,
    tz_debug => bool,
    mss_debug => bool,
    cp_debug => bool,
    nonsecure_debug => bool
}

secboot_enabled = -77151
sec_hwkey_programmed = -77152
debug_disable = -77153
anti_rollback = -77154
fuse_config = -77155
rpmb_provisioned = -77156
debug_image = -77157
misc_debug = -77158
tz_debug = -77159
mss_debug = -77160
cp_debug = -77161
nonsecure_debug = -77162

{
    -77151: true,     / secboot_enabled /
    -77152: true,     / sec_hwkey_programmed /
    -77153: true,     / debug_disable /
    -77154: true,     / anti_rollback /
    -77155: false,    / fuse_config /
    -77156: true,     / rpmb_provisioned /
    -77157: false,    / debug_image /
    -77159: true,     / tz_debug /
    -77160: true,     / mss_debug /
    -77161: true,     / cp_debug /
    -77162: true      / nonsecure_debug /
}