efi_get_trusted_certs
xcs = efi_get_trusted_certs(&num);
br_x509_certificate* efi_get_trusted_certs(size_t *count);