Searched refs:platform_len (Results 1 – 2 of 2) sorted by relevance
504 size_t platform_len = 0, len; in create_elf_fdpic_tables() local537 platform_len = strlen(k_platform) + 1; in create_elf_fdpic_tables()538 sp -= platform_len; in create_elf_fdpic_tables()540 if (copy_to_user(u_platform, k_platform, platform_len) != 0) in create_elf_fdpic_tables()552 platform_len = strlen(k_base_platform) + 1; in create_elf_fdpic_tables()553 sp -= platform_len; in create_elf_fdpic_tables()555 if (copy_to_user(u_base_platform, k_base_platform, platform_len) != 0) in create_elf_fdpic_tables()
806 const int platform_len = sizeof(u32); in tpm2_nv_define_space() local809 uint offset = TPM2_HDR_LEN + platform_len + session_hdr_len + in tpm2_nv_define_space()