| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
| |
| <html lang="en"> |
| |
| <head> |
| <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> |
| <title>LCOV - skiboot.info - libflash/libffs.c</title> |
| <link rel="stylesheet" type="text/css" href="../gcov.css"> |
| </head> |
| |
| <body> |
| |
| <table width="100%" border=0 cellspacing=0 cellpadding=0> |
| <tr><td class="title">LCOV - code coverage report</td></tr> |
| <tr><td class="ruler"><img src="../glass.png" width=3 height=3 alt=""></td></tr> |
| |
| <tr> |
| <td width="100%"> |
| <table cellpadding=1 border=0 width="100%"> |
| <tr> |
| <td width="10%" class="headerItem">Current view:</td> |
| <td width="10%" class="headerValue"><a href="../index.html">top level</a> - <a href="index.html">libflash</a> - libffs.c<span style="font-size: 80%;"> (source / <a href="libffs.c.func-c.html">functions</a>)</span></td> |
| <td width="5%"></td> |
| <td width="5%"></td> |
| <td width="5%" class="headerCovTableHead">Coverage</td> |
| <td width="5%" class="headerCovTableHead" title="Covered + Uncovered code">Total</td> |
| <td width="5%" class="headerCovTableHead" title="Exercised code only">Hit</td> |
| </tr> |
| <tr> |
| <td class="headerItem">Test:</td> |
| <td class="headerValue">skiboot.info</td> |
| <td></td> |
| <td class="headerItem">Lines:</td> |
| <td class="headerCovTableEntryLo">48.4 %</td> |
| <td class="headerCovTableEntry">430</td> |
| <td class="headerCovTableEntry">208</td> |
| </tr> |
| <tr> |
| <td class="headerItem">Test Date:</td> |
| <td class="headerValue">2025-06-27 16:54:26</td> |
| <td></td> |
| <td class="headerItem">Functions:</td> |
| <td class="headerCovTableEntryLo">60.7 %</td> |
| <td class="headerCovTableEntry">28</td> |
| <td class="headerCovTableEntry">17</td> |
| </tr> |
| <tr> |
| <td></td> |
| <td></td> |
| <td></td> |
| <td class="headerItem">Branches:</td> |
| <td class="headerCovTableEntryHi">-</td> |
| <td class="headerCovTableEntry">0</td> |
| <td class="headerCovTableEntry">0</td> |
| </tr> |
| <tr><td><img src="../glass.png" width=3 height=3 alt=""></td></tr> |
| </table> |
| </td> |
| </tr> |
| |
| <tr><td class="ruler"><img src="../glass.png" width=3 height=3 alt=""></td></tr> |
| </table> |
| |
| <table cellpadding=0 cellspacing=0 border=0> |
| <tr> |
| <td><br></td> |
| </tr> |
| <tr> |
| <td> |
| <pre class="sourceHeading"> Branch data Line data Source code</pre> |
| <pre class="source"> |
| <span id="L1"><span class="lineNum"> 1</span> : : // SPDX-License-Identifier: Apache-2.0</span> |
| <span id="L2"><span class="lineNum"> 2</span> : : /* Copyright 2013-2019 IBM Corp. */</span> |
| <span id="L3"><span class="lineNum"> 3</span> : : </span> |
| <span id="L4"><span class="lineNum"> 4</span> : : #include <limits.h></span> |
| <span id="L5"><span class="lineNum"> 5</span> : : #include <stdlib.h></span> |
| <span id="L6"><span class="lineNum"> 6</span> : : #include <stdio.h></span> |
| <span id="L7"><span class="lineNum"> 7</span> : : #include <string.h></span> |
| <span id="L8"><span class="lineNum"> 8</span> : : </span> |
| <span id="L9"><span class="lineNum"> 9</span> : : #ifndef __SKIBOOT__</span> |
| <span id="L10"><span class="lineNum"> 10</span> : : #include <sys/types.h></span> |
| <span id="L11"><span class="lineNum"> 11</span> : : #include <unistd.h></span> |
| <span id="L12"><span class="lineNum"> 12</span> : : #endif</span> |
| <span id="L13"><span class="lineNum"> 13</span> : : </span> |
| <span id="L14"><span class="lineNum"> 14</span> : : #include "ffs.h"</span> |
| <span id="L15"><span class="lineNum"> 15</span> : : </span> |
| <span id="L16"><span class="lineNum"> 16</span> : : #define __unused __attribute__((unused))</span> |
| <span id="L17"><span class="lineNum"> 17</span> : : #define HDR_ENTRIES_NUM 30</span> |
| <span id="L18"><span class="lineNum"> 18</span> : : </span> |
| <span id="L19"><span class="lineNum"> 19</span> : : struct ffs_handle {</span> |
| <span id="L20"><span class="lineNum"> 20</span> : : struct ffs_hdr hdr; /* Converted header */</span> |
| <span id="L21"><span class="lineNum"> 21</span> : : uint32_t toc_offset;</span> |
| <span id="L22"><span class="lineNum"> 22</span> : : uint32_t max_size;</span> |
| <span id="L23"><span class="lineNum"> 23</span> : : /* The converted header knows how big this is */</span> |
| <span id="L24"><span class="lineNum"> 24</span> : : struct __ffs_hdr *cache;</span> |
| <span id="L25"><span class="lineNum"> 25</span> : : struct blocklevel_device *bl;</span> |
| <span id="L26"><span class="lineNum"> 26</span> : : };</span> |
| <span id="L27"><span class="lineNum"> 27</span> : : </span> |
| <span id="L28"><span class="lineNum"> 28</span> :<span class="tlaGNC tlaBgGNC"> 60 : static uint32_t ffs_checksum(void* data, size_t size)</span></span> |
| <span id="L29"><span class="lineNum"> 29</span> : : {</span> |
| <span id="L30"><span class="lineNum"> 30</span> :<span class="tlaGNC"> 60 : uint32_t i, csum = 0;</span></span> |
| <span id="L31"><span class="lineNum"> 31</span> : : </span> |
| <span id="L32"><span class="lineNum"> 32</span> :<span class="tlaGNC"> 2097 : for (i = csum = 0; i < (size/4); i++)</span></span> |
| <span id="L33"><span class="lineNum"> 33</span> :<span class="tlaGNC"> 2028 : csum ^= ((uint32_t *)data)[i];</span></span> |
| <span id="L34"><span class="lineNum"> 34</span> :<span class="tlaGNC"> 69 : return csum;</span></span> |
| <span id="L35"><span class="lineNum"> 35</span> : : }</span> |
| <span id="L36"><span class="lineNum"> 36</span> : : </span> |
| <span id="L37"><span class="lineNum"> 37</span> : : /* Helper functions for typesafety and size safety */</span> |
| <span id="L38"><span class="lineNum"> 38</span> :<span class="tlaUNC tlaBgUNC"> 0 : static uint32_t ffs_hdr_checksum(struct __ffs_hdr *hdr)</span></span> |
| <span id="L39"><span class="lineNum"> 39</span> : : {</span> |
| <span id="L40"><span class="lineNum"> 40</span> :<span class="tlaUNC"> 0 : return ffs_checksum(hdr, sizeof(struct __ffs_hdr));</span></span> |
| <span id="L41"><span class="lineNum"> 41</span> : : }</span> |
| <span id="L42"><span class="lineNum"> 42</span> : : </span> |
| <span id="L43"><span class="lineNum"> 43</span> :<span class="tlaGNC tlaBgGNC"> 60 : static uint32_t ffs_entry_checksum(struct __ffs_entry *ent)</span></span> |
| <span id="L44"><span class="lineNum"> 44</span> : : {</span> |
| <span id="L45"><span class="lineNum"> 45</span> :<span class="tlaGNC"> 120 : return ffs_checksum(ent, sizeof(struct __ffs_entry));</span></span> |
| <span id="L46"><span class="lineNum"> 46</span> : : }</span> |
| <span id="L47"><span class="lineNum"> 47</span> : : </span> |
| <span id="L48"><span class="lineNum"> 48</span> :<span class="tlaGNC"> 2 : static size_t ffs_hdr_raw_size(int num_entries)</span></span> |
| <span id="L49"><span class="lineNum"> 49</span> : : {</span> |
| <span id="L50"><span class="lineNum"> 50</span> :<span class="tlaGNC"> 2 : return sizeof(struct __ffs_hdr) + num_entries * sizeof(struct __ffs_entry);</span></span> |
| <span id="L51"><span class="lineNum"> 51</span> : : }</span> |
| <span id="L52"><span class="lineNum"> 52</span> : : </span> |
| <span id="L53"><span class="lineNum"> 53</span> :<span class="tlaUNC tlaBgUNC"> 0 : static int ffs_num_entries(struct ffs_hdr *hdr)</span></span> |
| <span id="L54"><span class="lineNum"> 54</span> : : {</span> |
| <span id="L55"><span class="lineNum"> 55</span> :<span class="tlaUNC"> 0 : if (hdr->count == 0)</span></span> |
| <span id="L56"><span class="lineNum"> 56</span> :<span class="tlaUNC"> 0 : FL_DBG("%s returned zero!\n", __func__);</span></span> |
| <span id="L57"><span class="lineNum"> 57</span> :<span class="tlaUNC"> 0 : return hdr->count;</span></span> |
| <span id="L58"><span class="lineNum"> 58</span> : : }</span> |
| <span id="L59"><span class="lineNum"> 59</span> : : </span> |
| <span id="L60"><span class="lineNum"> 60</span> :<span class="tlaGNC tlaBgGNC"> 9 : static int ffs_check_convert_header(struct ffs_hdr *dst, struct __ffs_hdr *src)</span></span> |
| <span id="L61"><span class="lineNum"> 61</span> : : {</span> |
| <span id="L62"><span class="lineNum"> 62</span> :<span class="tlaGNC"> 9 : if (be32_to_cpu(src->magic) != FFS_MAGIC)</span></span> |
| <span id="L63"><span class="lineNum"> 63</span> : : return FFS_ERR_BAD_MAGIC;</span> |
| <span id="L64"><span class="lineNum"> 64</span> :<span class="tlaGNC"> 9 : dst->version = be32_to_cpu(src->version);</span></span> |
| <span id="L65"><span class="lineNum"> 65</span> :<span class="tlaGNC"> 9 : if (dst->version != FFS_VERSION_1)</span></span> |
| <span id="L66"><span class="lineNum"> 66</span> : : return FFS_ERR_BAD_VERSION;</span> |
| <span id="L67"><span class="lineNum"> 67</span> :<span class="tlaGNC"> 9 : if (ffs_hdr_checksum(src) != 0)</span></span> |
| <span id="L68"><span class="lineNum"> 68</span> : : return FFS_ERR_BAD_CKSUM;</span> |
| <span id="L69"><span class="lineNum"> 69</span> :<span class="tlaGNC"> 9 : if (be32_to_cpu(src->entry_size) != sizeof(struct __ffs_entry))</span></span> |
| <span id="L70"><span class="lineNum"> 70</span> : : return FFS_ERR_BAD_SIZE;</span> |
| <span id="L71"><span class="lineNum"> 71</span> :<span class="tlaGNC"> 9 : if ((be32_to_cpu(src->entry_size) * be32_to_cpu(src->entry_count)) ></span></span> |
| <span id="L72"><span class="lineNum"> 72</span> :<span class="tlaGNC"> 9 : (be32_to_cpu(src->block_size) * be32_to_cpu(src->size)))</span></span> |
| <span id="L73"><span class="lineNum"> 73</span> : : return FLASH_ERR_PARM_ERROR;</span> |
| <span id="L74"><span class="lineNum"> 74</span> : : </span> |
| <span id="L75"><span class="lineNum"> 75</span> :<span class="tlaGNC"> 9 : dst->block_size = be32_to_cpu(src->block_size);</span></span> |
| <span id="L76"><span class="lineNum"> 76</span> :<span class="tlaGNC"> 9 : dst->size = be32_to_cpu(src->size) * dst->block_size;</span></span> |
| <span id="L77"><span class="lineNum"> 77</span> :<span class="tlaGNC"> 9 : dst->block_count = be32_to_cpu(src->block_count);</span></span> |
| <span id="L78"><span class="lineNum"> 78</span> :<span class="tlaGNC"> 9 : dst->entries_size = be32_to_cpu(src->entry_count);</span></span> |
| <span id="L79"><span class="lineNum"> 79</span> : : </span> |
| <span id="L80"><span class="lineNum"> 80</span> :<span class="tlaGNC"> 9 : return 0;</span></span> |
| <span id="L81"><span class="lineNum"> 81</span> : : }</span> |
| <span id="L82"><span class="lineNum"> 82</span> : : </span> |
| <span id="L83"><span class="lineNum"> 83</span> :<span class="tlaGNC"> 1 : static int ffs_entry_user_to_flash(struct ffs_hdr *hdr __unused,</span></span> |
| <span id="L84"><span class="lineNum"> 84</span> : : struct __ffs_entry_user *dst, struct ffs_entry_user *src)</span> |
| <span id="L85"><span class="lineNum"> 85</span> : : {</span> |
| <span id="L86"><span class="lineNum"> 86</span> :<span class="tlaGNC"> 1 : memset(dst, 0, sizeof(struct __ffs_entry_user));</span></span> |
| <span id="L87"><span class="lineNum"> 87</span> :<span class="tlaGNC"> 1 : dst->datainteg = cpu_to_be16(src->datainteg);</span></span> |
| <span id="L88"><span class="lineNum"> 88</span> :<span class="tlaGNC"> 1 : dst->vercheck = src->vercheck;</span></span> |
| <span id="L89"><span class="lineNum"> 89</span> :<span class="tlaGNC"> 1 : dst->miscflags = src->miscflags;</span></span> |
| <span id="L90"><span class="lineNum"> 90</span> : : </span> |
| <span id="L91"><span class="lineNum"> 91</span> :<span class="tlaGNC"> 1 : return 0;</span></span> |
| <span id="L92"><span class="lineNum"> 92</span> : : }</span> |
| <span id="L93"><span class="lineNum"> 93</span> : : </span> |
| <span id="L94"><span class="lineNum"> 94</span> :<span class="tlaGNC"> 59 : static int ffs_entry_user_to_cpu(struct ffs_hdr *hdr __unused,</span></span> |
| <span id="L95"><span class="lineNum"> 95</span> : : struct ffs_entry_user *dst, struct __ffs_entry_user *src)</span> |
| <span id="L96"><span class="lineNum"> 96</span> : : {</span> |
| <span id="L97"><span class="lineNum"> 97</span> :<span class="tlaGNC"> 59 : memset(dst, 0, sizeof(struct ffs_entry_user));</span></span> |
| <span id="L98"><span class="lineNum"> 98</span> :<span class="tlaGNC"> 59 : dst->datainteg = be16_to_cpu(src->datainteg);</span></span> |
| <span id="L99"><span class="lineNum"> 99</span> :<span class="tlaGNC"> 59 : dst->vercheck = src->vercheck;</span></span> |
| <span id="L100"><span class="lineNum"> 100</span> :<span class="tlaGNC"> 59 : dst->miscflags = src->miscflags;</span></span> |
| <span id="L101"><span class="lineNum"> 101</span> : : </span> |
| <span id="L102"><span class="lineNum"> 102</span> :<span class="tlaGNC"> 59 : return 0;</span></span> |
| <span id="L103"><span class="lineNum"> 103</span> : : }</span> |
| <span id="L104"><span class="lineNum"> 104</span> : : </span> |
| <span id="L105"><span class="lineNum"> 105</span> :<span class="tlaGNC"> 1 : static int ffs_entry_to_flash(struct ffs_hdr *hdr,</span></span> |
| <span id="L106"><span class="lineNum"> 106</span> : : struct __ffs_entry *dst, struct ffs_entry *src)</span> |
| <span id="L107"><span class="lineNum"> 107</span> : : {</span> |
| <span id="L108"><span class="lineNum"> 108</span> :<span class="tlaGNC"> 1 : int rc, index;</span></span> |
| <span id="L109"><span class="lineNum"> 109</span> : : </span> |
| <span id="L110"><span class="lineNum"> 110</span> :<span class="tlaGNC"> 1 : if (!hdr || !dst || !src)</span></span> |
| <span id="L111"><span class="lineNum"> 111</span> : : return -1;</span> |
| <span id="L112"><span class="lineNum"> 112</span> : : </span> |
| <span id="L113"><span class="lineNum"> 113</span> :<span class="tlaGNC"> 2 : for (index = 0; index < hdr->count && hdr->entries[index] != src; index++);</span></span> |
| <span id="L114"><span class="lineNum"> 114</span> : : </span> |
| <span id="L115"><span class="lineNum"> 115</span> :<span class="tlaGNC"> 1 : if (index == hdr->count)</span></span> |
| <span id="L116"><span class="lineNum"> 116</span> : : return FFS_ERR_PART_NOT_FOUND;</span> |
| <span id="L117"><span class="lineNum"> 117</span> :<span class="tlaGNC"> 1 : index++; /* On flash indexes start at 1 */</span></span> |
| <span id="L118"><span class="lineNum"> 118</span> : : /*</span> |
| <span id="L119"><span class="lineNum"> 119</span> : : * So that the checksum gets calculated correctly at least the</span> |
| <span id="L120"><span class="lineNum"> 120</span> : : * dst->checksum must be zero before calling ffs_entry_checksum()</span> |
| <span id="L121"><span class="lineNum"> 121</span> : : * memset()ting the entire struct to zero is probably wise as it</span> |
| <span id="L122"><span class="lineNum"> 122</span> : : * appears the reserved fields are always zero.</span> |
| <span id="L123"><span class="lineNum"> 123</span> : : */</span> |
| <span id="L124"><span class="lineNum"> 124</span> :<span class="tlaGNC"> 1 : memset(dst, 0, sizeof(*dst));</span></span> |
| <span id="L125"><span class="lineNum"> 125</span> : : </span> |
| <span id="L126"><span class="lineNum"> 126</span> :<span class="tlaGNC"> 1 : memcpy(dst->name, src->name, sizeof(dst->name));</span></span> |
| <span id="L127"><span class="lineNum"> 127</span> :<span class="tlaGNC"> 1 : dst->name[FFS_PART_NAME_MAX] = '\0';</span></span> |
| <span id="L128"><span class="lineNum"> 128</span> :<span class="tlaGNC"> 1 : dst->base = cpu_to_be32(src->base / hdr->block_size);</span></span> |
| <span id="L129"><span class="lineNum"> 129</span> :<span class="tlaGNC"> 1 : dst->size = cpu_to_be32(src->size / hdr->block_size);</span></span> |
| <span id="L130"><span class="lineNum"> 130</span> :<span class="tlaGNC"> 1 : dst->pid = cpu_to_be32(src->pid);</span></span> |
| <span id="L131"><span class="lineNum"> 131</span> :<span class="tlaGNC"> 1 : dst->id = cpu_to_be32(index);</span></span> |
| <span id="L132"><span class="lineNum"> 132</span> :<span class="tlaGNC"> 1 : dst->type = cpu_to_be32(src->type); /* TODO: Check that it is valid? */</span></span> |
| <span id="L133"><span class="lineNum"> 133</span> :<span class="tlaGNC"> 1 : dst->flags = cpu_to_be32(src->flags);</span></span> |
| <span id="L134"><span class="lineNum"> 134</span> :<span class="tlaGNC"> 1 : dst->actual = cpu_to_be32(src->actual);</span></span> |
| <span id="L135"><span class="lineNum"> 135</span> :<span class="tlaGNC"> 1 : rc = ffs_entry_user_to_flash(hdr, &dst->user, &src->user);</span></span> |
| <span id="L136"><span class="lineNum"> 136</span> :<span class="tlaGNC"> 1 : dst->checksum = ffs_entry_checksum(dst);</span></span> |
| <span id="L137"><span class="lineNum"> 137</span> : : </span> |
| <span id="L138"><span class="lineNum"> 138</span> :<span class="tlaGNC"> 1 : return rc;</span></span> |
| <span id="L139"><span class="lineNum"> 139</span> : : }</span> |
| <span id="L140"><span class="lineNum"> 140</span> : : </span> |
| <span id="L141"><span class="lineNum"> 141</span> :<span class="tlaGNC"> 59 : static int ffs_entry_to_cpu(struct ffs_hdr *hdr,</span></span> |
| <span id="L142"><span class="lineNum"> 142</span> : : struct ffs_entry *dst, struct __ffs_entry *src)</span> |
| <span id="L143"><span class="lineNum"> 143</span> : : {</span> |
| <span id="L144"><span class="lineNum"> 144</span> :<span class="tlaGNC"> 59 : int rc;</span></span> |
| <span id="L145"><span class="lineNum"> 145</span> : : </span> |
| <span id="L146"><span class="lineNum"> 146</span> :<span class="tlaGNC"> 118 : if (ffs_entry_checksum(src) != 0)</span></span> |
| <span id="L147"><span class="lineNum"> 147</span> : : return FFS_ERR_BAD_CKSUM;</span> |
| <span id="L148"><span class="lineNum"> 148</span> : : </span> |
| <span id="L149"><span class="lineNum"> 149</span> :<span class="tlaGNC"> 59 : memcpy(dst->name, src->name, sizeof(dst->name));</span></span> |
| <span id="L150"><span class="lineNum"> 150</span> :<span class="tlaGNC"> 59 : dst->name[FFS_PART_NAME_MAX] = '\0';</span></span> |
| <span id="L151"><span class="lineNum"> 151</span> :<span class="tlaGNC"> 59 : dst->base = be32_to_cpu(src->base) * hdr->block_size;</span></span> |
| <span id="L152"><span class="lineNum"> 152</span> :<span class="tlaGNC"> 59 : dst->size = be32_to_cpu(src->size) * hdr->block_size;</span></span> |
| <span id="L153"><span class="lineNum"> 153</span> :<span class="tlaGNC"> 59 : dst->actual = be32_to_cpu(src->actual);</span></span> |
| <span id="L154"><span class="lineNum"> 154</span> :<span class="tlaGNC"> 59 : dst->pid = be32_to_cpu(src->pid);</span></span> |
| <span id="L155"><span class="lineNum"> 155</span> :<span class="tlaGNC"> 59 : dst->type = be32_to_cpu(src->type); /* TODO: Check that it is valid? */</span></span> |
| <span id="L156"><span class="lineNum"> 156</span> :<span class="tlaGNC"> 59 : dst->flags = be32_to_cpu(src->flags);</span></span> |
| <span id="L157"><span class="lineNum"> 157</span> :<span class="tlaGNC"> 59 : rc = ffs_entry_user_to_cpu(hdr, &dst->user, &src->user);</span></span> |
| <span id="L158"><span class="lineNum"> 158</span> : : </span> |
| <span id="L159"><span class="lineNum"> 159</span> :<span class="tlaGNC"> 59 : return rc;</span></span> |
| <span id="L160"><span class="lineNum"> 160</span> : : }</span> |
| <span id="L161"><span class="lineNum"> 161</span> : : </span> |
| <span id="L162"><span class="lineNum"> 162</span> :<span class="tlaGNC"> 7 : char *ffs_entry_user_to_string(struct ffs_entry_user *user)</span></span> |
| <span id="L163"><span class="lineNum"> 163</span> : : {</span> |
| <span id="L164"><span class="lineNum"> 164</span> :<span class="tlaGNC"> 7 : char *ret;</span></span> |
| <span id="L165"><span class="lineNum"> 165</span> : : </span> |
| <span id="L166"><span class="lineNum"> 166</span> :<span class="tlaGNC"> 7 : if (!user)</span></span> |
| <span id="L167"><span class="lineNum"> 167</span> : : return NULL;</span> |
| <span id="L168"><span class="lineNum"> 168</span> : : </span> |
| <span id="L169"><span class="lineNum"> 169</span> :<span class="tlaGNC"> 7 : ret = strdup("----------");</span></span> |
| <span id="L170"><span class="lineNum"> 170</span> :<span class="tlaGNC"> 7 : if (!ret)</span></span> |
| <span id="L171"><span class="lineNum"> 171</span> : : return NULL;</span> |
| <span id="L172"><span class="lineNum"> 172</span> : : </span> |
| <span id="L173"><span class="lineNum"> 173</span> :<span class="tlaGNC"> 7 : if (user->datainteg & FFS_ENRY_INTEG_ECC)</span></span> |
| <span id="L174"><span class="lineNum"> 174</span> :<span class="tlaGNC"> 4 : ret[0] = 'E';</span></span> |
| <span id="L175"><span class="lineNum"> 175</span> : : </span> |
| <span id="L176"><span class="lineNum"> 176</span> :<span class="tlaGNC"> 7 : if (user->vercheck & FFS_VERCHECK_SHA512V)</span></span> |
| <span id="L177"><span class="lineNum"> 177</span> :<span class="tlaGNC"> 1 : ret[1] = 'L';</span></span> |
| <span id="L178"><span class="lineNum"> 178</span> : : </span> |
| <span id="L179"><span class="lineNum"> 179</span> :<span class="tlaGNC"> 7 : if (user->vercheck & FFS_VERCHECK_SHA512EC)</span></span> |
| <span id="L180"><span class="lineNum"> 180</span> :<span class="tlaUNC tlaBgUNC"> 0 : ret[2] = 'I';</span></span> |
| <span id="L181"><span class="lineNum"> 181</span> : : </span> |
| <span id="L182"><span class="lineNum"> 182</span> :<span class="tlaGNC tlaBgGNC"> 7 : if (user->miscflags & FFS_MISCFLAGS_PRESERVED)</span></span> |
| <span id="L183"><span class="lineNum"> 183</span> :<span class="tlaUNC tlaBgUNC"> 0 : ret[3] = 'P';</span></span> |
| <span id="L184"><span class="lineNum"> 184</span> : : </span> |
| <span id="L185"><span class="lineNum"> 185</span> :<span class="tlaGNC tlaBgGNC"> 7 : if (user->miscflags & FFS_MISCFLAGS_READONLY)</span></span> |
| <span id="L186"><span class="lineNum"> 186</span> :<span class="tlaUNC tlaBgUNC"> 0 : ret[4] = 'R';</span></span> |
| <span id="L187"><span class="lineNum"> 187</span> : : </span> |
| <span id="L188"><span class="lineNum"> 188</span> :<span class="tlaGNC tlaBgGNC"> 7 : if (user->miscflags & FFS_MISCFLAGS_BACKUP)</span></span> |
| <span id="L189"><span class="lineNum"> 189</span> :<span class="tlaUNC tlaBgUNC"> 0 : ret[5] = 'B';</span></span> |
| <span id="L190"><span class="lineNum"> 190</span> : : </span> |
| <span id="L191"><span class="lineNum"> 191</span> :<span class="tlaGNC tlaBgGNC"> 7 : if (user->miscflags & FFS_MISCFLAGS_REPROVISION)</span></span> |
| <span id="L192"><span class="lineNum"> 192</span> :<span class="tlaGNC"> 3 : ret[6] = 'F';</span></span> |
| <span id="L193"><span class="lineNum"> 193</span> : : </span> |
| <span id="L194"><span class="lineNum"> 194</span> :<span class="tlaGNC"> 7 : if (user->miscflags & FFS_MISCFLAGS_GOLDEN)</span></span> |
| <span id="L195"><span class="lineNum"> 195</span> :<span class="tlaUNC tlaBgUNC"> 0 : ret[7] = 'G';</span></span> |
| <span id="L196"><span class="lineNum"> 196</span> : : </span> |
| <span id="L197"><span class="lineNum"> 197</span> :<span class="tlaGNC tlaBgGNC"> 7 : if (user->miscflags & FFS_MISCFLAGS_CLEARECC)</span></span> |
| <span id="L198"><span class="lineNum"> 198</span> :<span class="tlaGNC"> 1 : ret[8] = 'C';</span></span> |
| <span id="L199"><span class="lineNum"> 199</span> : : </span> |
| <span id="L200"><span class="lineNum"> 200</span> :<span class="tlaGNC"> 7 : if (user->miscflags & FFS_MISCFLAGS_VOLATILE)</span></span> |
| <span id="L201"><span class="lineNum"> 201</span> :<span class="tlaGNC"> 1 : ret[9] = 'V';</span></span> |
| <span id="L202"><span class="lineNum"> 202</span> : : </span> |
| <span id="L203"><span class="lineNum"> 203</span> : : return ret;</span> |
| <span id="L204"><span class="lineNum"> 204</span> : : }</span> |
| <span id="L205"><span class="lineNum"> 205</span> : : </span> |
| <span id="L206"><span class="lineNum"> 206</span> :<span class="tlaUNC tlaBgUNC"> 0 : int ffs_string_to_entry_user(const char *flags, int nflags,</span></span> |
| <span id="L207"><span class="lineNum"> 207</span> : : struct ffs_entry_user *user)</span> |
| <span id="L208"><span class="lineNum"> 208</span> : : {</span> |
| <span id="L209"><span class="lineNum"> 209</span> :<span class="tlaUNC"> 0 : int i;</span></span> |
| <span id="L210"><span class="lineNum"> 210</span> : : </span> |
| <span id="L211"><span class="lineNum"> 211</span> :<span class="tlaUNC"> 0 : if (!user || !flags)</span></span> |
| <span id="L212"><span class="lineNum"> 212</span> : : return FLASH_ERR_PARM_ERROR;</span> |
| <span id="L213"><span class="lineNum"> 213</span> : : </span> |
| <span id="L214"><span class="lineNum"> 214</span> :<span class="tlaUNC"> 0 : memset(user, 0, sizeof(struct ffs_entry_user));</span></span> |
| <span id="L215"><span class="lineNum"> 215</span> :<span class="tlaUNC"> 0 : for (i = 0; i < nflags; i++) {</span></span> |
| <span id="L216"><span class="lineNum"> 216</span> :<span class="tlaUNC"> 0 : switch (flags[i]) {</span></span> |
| <span id="L217"><span class="lineNum"> 217</span> :<span class="tlaUNC"> 0 : case 'E':</span></span> |
| <span id="L218"><span class="lineNum"> 218</span> :<span class="tlaUNC"> 0 : user->datainteg |= FFS_ENRY_INTEG_ECC;</span></span> |
| <span id="L219"><span class="lineNum"> 219</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L220"><span class="lineNum"> 220</span> :<span class="tlaUNC"> 0 : case 'L':</span></span> |
| <span id="L221"><span class="lineNum"> 221</span> :<span class="tlaUNC"> 0 : user->vercheck |= FFS_VERCHECK_SHA512V;</span></span> |
| <span id="L222"><span class="lineNum"> 222</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L223"><span class="lineNum"> 223</span> :<span class="tlaUNC"> 0 : case 'I':</span></span> |
| <span id="L224"><span class="lineNum"> 224</span> :<span class="tlaUNC"> 0 : user->vercheck |= FFS_VERCHECK_SHA512EC;</span></span> |
| <span id="L225"><span class="lineNum"> 225</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L226"><span class="lineNum"> 226</span> :<span class="tlaUNC"> 0 : case 'P':</span></span> |
| <span id="L227"><span class="lineNum"> 227</span> :<span class="tlaUNC"> 0 : user->miscflags |= FFS_MISCFLAGS_PRESERVED;</span></span> |
| <span id="L228"><span class="lineNum"> 228</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L229"><span class="lineNum"> 229</span> :<span class="tlaUNC"> 0 : case 'R':</span></span> |
| <span id="L230"><span class="lineNum"> 230</span> :<span class="tlaUNC"> 0 : user->miscflags |= FFS_MISCFLAGS_READONLY;</span></span> |
| <span id="L231"><span class="lineNum"> 231</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L232"><span class="lineNum"> 232</span> :<span class="tlaUNC"> 0 : case 'B':</span></span> |
| <span id="L233"><span class="lineNum"> 233</span> :<span class="tlaUNC"> 0 : user->miscflags |= FFS_MISCFLAGS_BACKUP;</span></span> |
| <span id="L234"><span class="lineNum"> 234</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L235"><span class="lineNum"> 235</span> :<span class="tlaUNC"> 0 : case 'F':</span></span> |
| <span id="L236"><span class="lineNum"> 236</span> :<span class="tlaUNC"> 0 : user->miscflags |= FFS_MISCFLAGS_REPROVISION;</span></span> |
| <span id="L237"><span class="lineNum"> 237</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L238"><span class="lineNum"> 238</span> :<span class="tlaUNC"> 0 : case 'G':</span></span> |
| <span id="L239"><span class="lineNum"> 239</span> :<span class="tlaUNC"> 0 : user->miscflags |= FFS_MISCFLAGS_GOLDEN;</span></span> |
| <span id="L240"><span class="lineNum"> 240</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L241"><span class="lineNum"> 241</span> :<span class="tlaUNC"> 0 : case 'C':</span></span> |
| <span id="L242"><span class="lineNum"> 242</span> :<span class="tlaUNC"> 0 : user->miscflags |= FFS_MISCFLAGS_CLEARECC;</span></span> |
| <span id="L243"><span class="lineNum"> 243</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L244"><span class="lineNum"> 244</span> :<span class="tlaUNC"> 0 : case 'V':</span></span> |
| <span id="L245"><span class="lineNum"> 245</span> :<span class="tlaUNC"> 0 : user->miscflags |= FFS_MISCFLAGS_VOLATILE;</span></span> |
| <span id="L246"><span class="lineNum"> 246</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L247"><span class="lineNum"> 247</span> :<span class="tlaUNC"> 0 : default:</span></span> |
| <span id="L248"><span class="lineNum"> 248</span> :<span class="tlaUNC"> 0 : FL_DBG("Unknown flag '%c'\n", flags[i]);</span></span> |
| <span id="L249"><span class="lineNum"> 249</span> : : return FLASH_ERR_PARM_ERROR;</span> |
| <span id="L250"><span class="lineNum"> 250</span> : : }</span> |
| <span id="L251"><span class="lineNum"> 251</span> : : }</span> |
| <span id="L252"><span class="lineNum"> 252</span> : : </span> |
| <span id="L253"><span class="lineNum"> 253</span> : : return 0;</span> |
| <span id="L254"><span class="lineNum"> 254</span> : : }</span> |
| <span id="L255"><span class="lineNum"> 255</span> : : </span> |
| <span id="L256"><span class="lineNum"> 256</span> :<span class="tlaGNC tlaBgGNC"> 36 : bool has_flag(struct ffs_entry *ent, uint16_t flag)</span></span> |
| <span id="L257"><span class="lineNum"> 257</span> : : {</span> |
| <span id="L258"><span class="lineNum"> 258</span> :<span class="tlaGNC"> 36 : return ((ent->user.miscflags & flag) != 0);</span></span> |
| <span id="L259"><span class="lineNum"> 259</span> : : }</span> |
| <span id="L260"><span class="lineNum"> 260</span> : : </span> |
| <span id="L261"><span class="lineNum"> 261</span> :<span class="tlaGNC"> 40 : static struct ffs_entry *__ffs_entry_get(struct ffs_handle *ffs, uint32_t index)</span></span> |
| <span id="L262"><span class="lineNum"> 262</span> : : {</span> |
| <span id="L263"><span class="lineNum"> 263</span> :<span class="tlaGNC"> 40 : if (index >= ffs->hdr.count)</span></span> |
| <span id="L264"><span class="lineNum"> 264</span> : : return NULL;</span> |
| <span id="L265"><span class="lineNum"> 265</span> :<span class="tlaGNC"> 39 : return ffs->hdr.entries[index];</span></span> |
| <span id="L266"><span class="lineNum"> 266</span> : : }</span> |
| <span id="L267"><span class="lineNum"> 267</span> : : </span> |
| <span id="L268"><span class="lineNum"> 268</span> :<span class="tlaGNC"> 16 : struct ffs_entry *ffs_entry_get(struct ffs_handle *ffs, uint32_t index)</span></span> |
| <span id="L269"><span class="lineNum"> 269</span> : : {</span> |
| <span id="L270"><span class="lineNum"> 270</span> :<span class="tlaGNC"> 16 : struct ffs_entry *ret = __ffs_entry_get(ffs, index);</span></span> |
| <span id="L271"><span class="lineNum"> 271</span> :<span class="tlaGNC"> 16 : if (ret)</span></span> |
| <span id="L272"><span class="lineNum"> 272</span> :<span class="tlaGNC"> 16 : ret->ref++;</span></span> |
| <span id="L273"><span class="lineNum"> 273</span> :<span class="tlaGNC"> 16 : return ret;</span></span> |
| <span id="L274"><span class="lineNum"> 274</span> : : }</span> |
| <span id="L275"><span class="lineNum"> 275</span> : : </span> |
| <span id="L276"><span class="lineNum"> 276</span> :<span class="tlaGNC"> 72 : struct ffs_entry *ffs_entry_put(struct ffs_entry *ent)</span></span> |
| <span id="L277"><span class="lineNum"> 277</span> : : {</span> |
| <span id="L278"><span class="lineNum"> 278</span> :<span class="tlaGNC"> 72 : if (!ent)</span></span> |
| <span id="L279"><span class="lineNum"> 279</span> : : return NULL;</span> |
| <span id="L280"><span class="lineNum"> 280</span> : : </span> |
| <span id="L281"><span class="lineNum"> 281</span> :<span class="tlaGNC"> 72 : ent->ref--;</span></span> |
| <span id="L282"><span class="lineNum"> 282</span> :<span class="tlaGNC"> 72 : if (ent->ref == 0) {</span></span> |
| <span id="L283"><span class="lineNum"> 283</span> :<span class="tlaGNC"> 57 : free(ent);</span></span> |
| <span id="L284"><span class="lineNum"> 284</span> :<span class="tlaGNC"> 57 : ent = NULL;</span></span> |
| <span id="L285"><span class="lineNum"> 285</span> : : }</span> |
| <span id="L286"><span class="lineNum"> 286</span> : : </span> |
| <span id="L287"><span class="lineNum"> 287</span> : : return ent;</span> |
| <span id="L288"><span class="lineNum"> 288</span> : : }</span> |
| <span id="L289"><span class="lineNum"> 289</span> : : </span> |
| <span id="L290"><span class="lineNum"> 290</span> :<span class="tlaGNC"> 14 : bool has_ecc(struct ffs_entry *ent)</span></span> |
| <span id="L291"><span class="lineNum"> 291</span> : : {</span> |
| <span id="L292"><span class="lineNum"> 292</span> :<span class="tlaGNC"> 14 : return ((ent->user.datainteg & FFS_ENRY_INTEG_ECC) != 0);</span></span> |
| <span id="L293"><span class="lineNum"> 293</span> : : }</span> |
| <span id="L294"><span class="lineNum"> 294</span> : : </span> |
| <span id="L295"><span class="lineNum"> 295</span> :<span class="tlaGNC"> 9 : int ffs_init(uint32_t offset, uint32_t max_size, struct blocklevel_device *bl,</span></span> |
| <span id="L296"><span class="lineNum"> 296</span> : : struct ffs_handle **ffs, bool mark_ecc)</span> |
| <span id="L297"><span class="lineNum"> 297</span> : : {</span> |
| <span id="L298"><span class="lineNum"> 298</span> :<span class="tlaGNC"> 9 : struct __ffs_hdr blank_hdr;</span></span> |
| <span id="L299"><span class="lineNum"> 299</span> :<span class="tlaGNC"> 9 : struct __ffs_hdr raw_hdr;</span></span> |
| <span id="L300"><span class="lineNum"> 300</span> :<span class="tlaGNC"> 9 : struct ffs_handle *f;</span></span> |
| <span id="L301"><span class="lineNum"> 301</span> :<span class="tlaGNC"> 9 : uint64_t total_size;</span></span> |
| <span id="L302"><span class="lineNum"> 302</span> :<span class="tlaGNC"> 9 : int rc, i;</span></span> |
| <span id="L303"><span class="lineNum"> 303</span> : : </span> |
| <span id="L304"><span class="lineNum"> 304</span> :<span class="tlaGNC"> 9 : if (!ffs || !bl)</span></span> |
| <span id="L305"><span class="lineNum"> 305</span> : : return FLASH_ERR_PARM_ERROR;</span> |
| <span id="L306"><span class="lineNum"> 306</span> :<span class="tlaGNC"> 9 : *ffs = NULL;</span></span> |
| <span id="L307"><span class="lineNum"> 307</span> : : </span> |
| <span id="L308"><span class="lineNum"> 308</span> :<span class="tlaGNC"> 9 : rc = blocklevel_get_info(bl, NULL, &total_size, NULL);</span></span> |
| <span id="L309"><span class="lineNum"> 309</span> :<span class="tlaGNC"> 9 : if (rc) {</span></span> |
| <span id="L310"><span class="lineNum"> 310</span> :<span class="tlaUNC tlaBgUNC"> 0 : FL_ERR("FFS: Error %d retrieving flash info\n", rc);</span></span> |
| <span id="L311"><span class="lineNum"> 311</span> :<span class="tlaUNC"> 0 : return rc;</span></span> |
| <span id="L312"><span class="lineNum"> 312</span> : : }</span> |
| <span id="L313"><span class="lineNum"> 313</span> :<span class="tlaGNC tlaBgGNC"> 9 : if (total_size > UINT_MAX)</span></span> |
| <span id="L314"><span class="lineNum"> 314</span> : : return FLASH_ERR_VERIFY_FAILURE;</span> |
| <span id="L315"><span class="lineNum"> 315</span> :<span class="tlaGNC"> 9 : if ((offset + max_size) < offset)</span></span> |
| <span id="L316"><span class="lineNum"> 316</span> : : return FLASH_ERR_PARM_ERROR;</span> |
| <span id="L317"><span class="lineNum"> 317</span> : : </span> |
| <span id="L318"><span class="lineNum"> 318</span> :<span class="tlaGNC"> 9 : if ((max_size > total_size))</span></span> |
| <span id="L319"><span class="lineNum"> 319</span> : : return FLASH_ERR_PARM_ERROR;</span> |
| <span id="L320"><span class="lineNum"> 320</span> : : </span> |
| <span id="L321"><span class="lineNum"> 321</span> : : /* Read flash header */</span> |
| <span id="L322"><span class="lineNum"> 322</span> :<span class="tlaGNC"> 9 : rc = blocklevel_read(bl, offset, &raw_hdr, sizeof(raw_hdr));</span></span> |
| <span id="L323"><span class="lineNum"> 323</span> :<span class="tlaGNC"> 9 : if (rc) {</span></span> |
| <span id="L324"><span class="lineNum"> 324</span> :<span class="tlaUNC tlaBgUNC"> 0 : FL_ERR("FFS: Error %d reading flash header\n", rc);</span></span> |
| <span id="L325"><span class="lineNum"> 325</span> :<span class="tlaUNC"> 0 : return rc;</span></span> |
| <span id="L326"><span class="lineNum"> 326</span> : : }</span> |
| <span id="L327"><span class="lineNum"> 327</span> : : </span> |
| <span id="L328"><span class="lineNum"> 328</span> : : /*</span> |
| <span id="L329"><span class="lineNum"> 329</span> : : * Flash controllers can get deconfigured or otherwise upset, when this</span> |
| <span id="L330"><span class="lineNum"> 330</span> : : * happens they return all 0xFF bytes.</span> |
| <span id="L331"><span class="lineNum"> 331</span> : : * An __ffs_hdr consisting of all 0xFF cannot be valid and it would be</span> |
| <span id="L332"><span class="lineNum"> 332</span> : : * nice to drop a hint to the user to help with debugging. This will</span> |
| <span id="L333"><span class="lineNum"> 333</span> : : * help quickly differentiate between flash corruption and standard</span> |
| <span id="L334"><span class="lineNum"> 334</span> : : * type 'reading from the wrong place' errors vs controller errors or</span> |
| <span id="L335"><span class="lineNum"> 335</span> : : * reading erased data.</span> |
| <span id="L336"><span class="lineNum"> 336</span> : : */</span> |
| <span id="L337"><span class="lineNum"> 337</span> :<span class="tlaGNC tlaBgGNC"> 9 : memset(&blank_hdr, UINT_MAX, sizeof(struct __ffs_hdr));</span></span> |
| <span id="L338"><span class="lineNum"> 338</span> :<span class="tlaGNC"> 9 : if (memcmp(&blank_hdr, &raw_hdr, sizeof(struct __ffs_hdr)) == 0) {</span></span> |
| <span id="L339"><span class="lineNum"> 339</span> :<span class="tlaUNC tlaBgUNC"> 0 : FL_ERR("FFS: Reading the flash has returned all 0xFF.\n");</span></span> |
| <span id="L340"><span class="lineNum"> 340</span> :<span class="tlaUNC"> 0 : FL_ERR(" Are you reading erased flash?\n");</span></span> |
| <span id="L341"><span class="lineNum"> 341</span> :<span class="tlaUNC"> 0 : FL_ERR(" Is something else using the flash controller?\n");</span></span> |
| <span id="L342"><span class="lineNum"> 342</span> :<span class="tlaUNC"> 0 : return FLASH_ERR_BAD_READ;</span></span> |
| <span id="L343"><span class="lineNum"> 343</span> : : }</span> |
| <span id="L344"><span class="lineNum"> 344</span> : : </span> |
| <span id="L345"><span class="lineNum"> 345</span> : : /* Allocate ffs_handle structure and start populating */</span> |
| <span id="L346"><span class="lineNum"> 346</span> :<span class="tlaGNC tlaBgGNC"> 9 : f = calloc(1, sizeof(*f));</span></span> |
| <span id="L347"><span class="lineNum"> 347</span> :<span class="tlaGNC"> 9 : if (!f)</span></span> |
| <span id="L348"><span class="lineNum"> 348</span> : : return FLASH_ERR_MALLOC_FAILED;</span> |
| <span id="L349"><span class="lineNum"> 349</span> : : </span> |
| <span id="L350"><span class="lineNum"> 350</span> :<span class="tlaGNC"> 9 : f->toc_offset = offset;</span></span> |
| <span id="L351"><span class="lineNum"> 351</span> :<span class="tlaGNC"> 9 : f->max_size = max_size;</span></span> |
| <span id="L352"><span class="lineNum"> 352</span> :<span class="tlaGNC"> 9 : f->bl = bl;</span></span> |
| <span id="L353"><span class="lineNum"> 353</span> : : </span> |
| <span id="L354"><span class="lineNum"> 354</span> : : /* Convert and check flash header */</span> |
| <span id="L355"><span class="lineNum"> 355</span> :<span class="tlaGNC"> 9 : rc = ffs_check_convert_header(&f->hdr, &raw_hdr);</span></span> |
| <span id="L356"><span class="lineNum"> 356</span> :<span class="tlaGNC"> 9 : if (rc) {</span></span> |
| <span id="L357"><span class="lineNum"> 357</span> :<span class="tlaUNC tlaBgUNC"> 0 : FL_INF("FFS: Flash header not found. Code: %d\n", rc);</span></span> |
| <span id="L358"><span class="lineNum"> 358</span> :<span class="tlaUNC"> 0 : goto out;</span></span> |
| <span id="L359"><span class="lineNum"> 359</span> : : }</span> |
| <span id="L360"><span class="lineNum"> 360</span> : : </span> |
| <span id="L361"><span class="lineNum"> 361</span> : : /* Check header is sane */</span> |
| <span id="L362"><span class="lineNum"> 362</span> :<span class="tlaGNC tlaBgGNC"> 9 : if ((f->hdr.block_count * f->hdr.block_size) > max_size) {</span></span> |
| <span id="L363"><span class="lineNum"> 363</span> :<span class="tlaUNC tlaBgUNC"> 0 : rc = FLASH_ERR_PARM_ERROR;</span></span> |
| <span id="L364"><span class="lineNum"> 364</span> :<span class="tlaUNC"> 0 : FL_ERR("FFS: Flash header exceeds max flash size\n");</span></span> |
| <span id="L365"><span class="lineNum"> 365</span> :<span class="tlaUNC"> 0 : goto out;</span></span> |
| <span id="L366"><span class="lineNum"> 366</span> : : }</span> |
| <span id="L367"><span class="lineNum"> 367</span> : : </span> |
| <span id="L368"><span class="lineNum"> 368</span> :<span class="tlaGNC tlaBgGNC"> 9 : f->hdr.entries = calloc(f->hdr.entries_size, sizeof(struct ffs_entry *));</span></span> |
| <span id="L369"><span class="lineNum"> 369</span> : : </span> |
| <span id="L370"><span class="lineNum"> 370</span> : : /*</span> |
| <span id="L371"><span class="lineNum"> 371</span> : : * Grab the entire partition header</span> |
| <span id="L372"><span class="lineNum"> 372</span> : : */</span> |
| <span id="L373"><span class="lineNum"> 373</span> : : /* Check for overflow or a silly size */</span> |
| <span id="L374"><span class="lineNum"> 374</span> :<span class="tlaGNC"> 9 : if (!f->hdr.size || f->hdr.size % f->hdr.block_size != 0) {</span></span> |
| <span id="L375"><span class="lineNum"> 375</span> :<span class="tlaUNC tlaBgUNC"> 0 : rc = FLASH_ERR_MALLOC_FAILED;</span></span> |
| <span id="L376"><span class="lineNum"> 376</span> :<span class="tlaUNC"> 0 : FL_ERR("FFS: Cache size overflow (0x%x * 0x%x)\n",</span></span> |
| <span id="L377"><span class="lineNum"> 377</span> : : f->hdr.block_size, f->hdr.size);</span> |
| <span id="L378"><span class="lineNum"> 378</span> :<span class="tlaUNC"> 0 : goto out;</span></span> |
| <span id="L379"><span class="lineNum"> 379</span> : : }</span> |
| <span id="L380"><span class="lineNum"> 380</span> : : </span> |
| <span id="L381"><span class="lineNum"> 381</span> :<span class="tlaGNC tlaBgGNC"> 9 : FL_DBG("FFS: Partition map size: 0x%x\n", f->hdr.size);</span></span> |
| <span id="L382"><span class="lineNum"> 382</span> : : </span> |
| <span id="L383"><span class="lineNum"> 383</span> : : /* Allocate cache */</span> |
| <span id="L384"><span class="lineNum"> 384</span> :<span class="tlaGNC"> 9 : f->cache = malloc(f->hdr.size);</span></span> |
| <span id="L385"><span class="lineNum"> 385</span> :<span class="tlaGNC"> 9 : if (!f->cache) {</span></span> |
| <span id="L386"><span class="lineNum"> 386</span> :<span class="tlaUNC tlaBgUNC"> 0 : rc = FLASH_ERR_MALLOC_FAILED;</span></span> |
| <span id="L387"><span class="lineNum"> 387</span> :<span class="tlaUNC"> 0 : goto out;</span></span> |
| <span id="L388"><span class="lineNum"> 388</span> : : }</span> |
| <span id="L389"><span class="lineNum"> 389</span> : : </span> |
| <span id="L390"><span class="lineNum"> 390</span> : : /* Read the cached map */</span> |
| <span id="L391"><span class="lineNum"> 391</span> :<span class="tlaGNC tlaBgGNC"> 9 : rc = blocklevel_read(bl, offset, f->cache, f->hdr.size);</span></span> |
| <span id="L392"><span class="lineNum"> 392</span> :<span class="tlaGNC"> 9 : if (rc) {</span></span> |
| <span id="L393"><span class="lineNum"> 393</span> :<span class="tlaUNC tlaBgUNC"> 0 : FL_ERR("FFS: Error %d reading flash partition map\n", rc);</span></span> |
| <span id="L394"><span class="lineNum"> 394</span> :<span class="tlaUNC"> 0 : goto out;</span></span> |
| <span id="L395"><span class="lineNum"> 395</span> : : }</span> |
| <span id="L396"><span class="lineNum"> 396</span> : : </span> |
| <span id="L397"><span class="lineNum"> 397</span> :<span class="tlaGNC tlaBgGNC"> 68 : for (i = 0; i < f->hdr.entries_size; i++) {</span></span> |
| <span id="L398"><span class="lineNum"> 398</span> :<span class="tlaGNC"> 59 : struct ffs_entry *ent = calloc(1, sizeof(struct ffs_entry));</span></span> |
| <span id="L399"><span class="lineNum"> 399</span> :<span class="tlaGNC"> 59 : if (!ent) {</span></span> |
| <span id="L400"><span class="lineNum"> 400</span> :<span class="tlaUNC tlaBgUNC"> 0 : rc = FLASH_ERR_MALLOC_FAILED;</span></span> |
| <span id="L401"><span class="lineNum"> 401</span> :<span class="tlaUNC"> 0 : goto out;</span></span> |
| <span id="L402"><span class="lineNum"> 402</span> : : }</span> |
| <span id="L403"><span class="lineNum"> 403</span> : : </span> |
| <span id="L404"><span class="lineNum"> 404</span> :<span class="tlaGNC tlaBgGNC"> 59 : f->hdr.entries[f->hdr.count++] = ent;</span></span> |
| <span id="L405"><span class="lineNum"> 405</span> :<span class="tlaGNC"> 59 : ent->ref = 1;</span></span> |
| <span id="L406"><span class="lineNum"> 406</span> :<span class="tlaGNC"> 59 : rc = ffs_entry_to_cpu(&f->hdr, ent, &f->cache->entries[i]);</span></span> |
| <span id="L407"><span class="lineNum"> 407</span> :<span class="tlaGNC"> 59 : if (rc) {</span></span> |
| <span id="L408"><span class="lineNum"> 408</span> :<span class="tlaUNC tlaBgUNC"> 0 : FL_DBG("FFS: Failed checksum for partition %s\n",</span></span> |
| <span id="L409"><span class="lineNum"> 409</span> : : f->cache->entries[i].name);</span> |
| <span id="L410"><span class="lineNum"> 410</span> :<span class="tlaUNC"> 0 : goto out;</span></span> |
| <span id="L411"><span class="lineNum"> 411</span> : : }</span> |
| <span id="L412"><span class="lineNum"> 412</span> : : </span> |
| <span id="L413"><span class="lineNum"> 413</span> :<span class="tlaGNC tlaBgGNC"> 59 : if (mark_ecc && has_ecc(ent)) {</span></span> |
| <span id="L414"><span class="lineNum"> 414</span> :<span class="tlaUNC tlaBgUNC"> 0 : rc = blocklevel_ecc_protect(bl, ent->base, ent->size);</span></span> |
| <span id="L415"><span class="lineNum"> 415</span> :<span class="tlaUNC"> 0 : if (rc) {</span></span> |
| <span id="L416"><span class="lineNum"> 416</span> :<span class="tlaUNC"> 0 : FL_ERR("Failed to blocklevel_ecc_protect(0x%08x, 0x%08x)\n",</span></span> |
| <span id="L417"><span class="lineNum"> 417</span> : : ent->base, ent->size);</span> |
| <span id="L418"><span class="lineNum"> 418</span> :<span class="tlaUNC"> 0 : goto out;</span></span> |
| <span id="L419"><span class="lineNum"> 419</span> : : }</span> |
| <span id="L420"><span class="lineNum"> 420</span> : : }</span> |
| <span id="L421"><span class="lineNum"> 421</span> : : }</span> |
| <span id="L422"><span class="lineNum"> 422</span> : : </span> |
| <span id="L423"><span class="lineNum"> 423</span> :<span class="tlaGNC tlaBgGNC"> 9 : out:</span></span> |
| <span id="L424"><span class="lineNum"> 424</span> :<span class="tlaGNC"> 9 : if (rc == 0)</span></span> |
| <span id="L425"><span class="lineNum"> 425</span> :<span class="tlaGNC"> 9 : *ffs = f;</span></span> |
| <span id="L426"><span class="lineNum"> 426</span> : : else</span> |
| <span id="L427"><span class="lineNum"> 427</span> :<span class="tlaUNC tlaBgUNC"> 0 : ffs_close(f);</span></span> |
| <span id="L428"><span class="lineNum"> 428</span> : : </span> |
| <span id="L429"><span class="lineNum"> 429</span> : : return rc;</span> |
| <span id="L430"><span class="lineNum"> 430</span> : : }</span> |
| <span id="L431"><span class="lineNum"> 431</span> : : </span> |
| <span id="L432"><span class="lineNum"> 432</span> :<span class="tlaGNC tlaBgGNC"> 9 : static void __hdr_free(struct ffs_hdr *hdr)</span></span> |
| <span id="L433"><span class="lineNum"> 433</span> : : {</span> |
| <span id="L434"><span class="lineNum"> 434</span> :<span class="tlaGNC"> 9 : int i;</span></span> |
| <span id="L435"><span class="lineNum"> 435</span> : : </span> |
| <span id="L436"><span class="lineNum"> 436</span> :<span class="tlaGNC"> 9 : if (!hdr)</span></span> |
| <span id="L437"><span class="lineNum"> 437</span> : : return;</span> |
| <span id="L438"><span class="lineNum"> 438</span> : : </span> |
| <span id="L439"><span class="lineNum"> 439</span> :<span class="tlaGNC"> 68 : for (i = 0; i < hdr->count; i++)</span></span> |
| <span id="L440"><span class="lineNum"> 440</span> :<span class="tlaGNC"> 59 : ffs_entry_put(hdr->entries[i]);</span></span> |
| <span id="L441"><span class="lineNum"> 441</span> :<span class="tlaGNC"> 9 : free(hdr->entries);</span></span> |
| <span id="L442"><span class="lineNum"> 442</span> : : }</span> |
| <span id="L443"><span class="lineNum"> 443</span> : : </span> |
| <span id="L444"><span class="lineNum"> 444</span> :<span class="tlaUNC tlaBgUNC"> 0 : void ffs_hdr_free(struct ffs_hdr *hdr)</span></span> |
| <span id="L445"><span class="lineNum"> 445</span> : : {</span> |
| <span id="L446"><span class="lineNum"> 446</span> :<span class="tlaUNC"> 0 : __hdr_free(hdr);</span></span> |
| <span id="L447"><span class="lineNum"> 447</span> :<span class="tlaUNC"> 0 : free(hdr);</span></span> |
| <span id="L448"><span class="lineNum"> 448</span> :<span class="tlaUNC"> 0 : }</span></span> |
| <span id="L449"><span class="lineNum"> 449</span> : : </span> |
| <span id="L450"><span class="lineNum"> 450</span> :<span class="tlaGNC tlaBgGNC"> 9 : void ffs_close(struct ffs_handle *ffs)</span></span> |
| <span id="L451"><span class="lineNum"> 451</span> : : {</span> |
| <span id="L452"><span class="lineNum"> 452</span> :<span class="tlaGNC"> 9 : __hdr_free(&ffs->hdr);</span></span> |
| <span id="L453"><span class="lineNum"> 453</span> : : </span> |
| <span id="L454"><span class="lineNum"> 454</span> :<span class="tlaGNC"> 9 : if (ffs->cache)</span></span> |
| <span id="L455"><span class="lineNum"> 455</span> :<span class="tlaGNC"> 9 : free(ffs->cache);</span></span> |
| <span id="L456"><span class="lineNum"> 456</span> : : </span> |
| <span id="L457"><span class="lineNum"> 457</span> :<span class="tlaGNC"> 9 : free(ffs);</span></span> |
| <span id="L458"><span class="lineNum"> 458</span> :<span class="tlaGNC"> 9 : }</span></span> |
| <span id="L459"><span class="lineNum"> 459</span> : : </span> |
| <span id="L460"><span class="lineNum"> 460</span> :<span class="tlaGNC"> 2 : int ffs_lookup_part(struct ffs_handle *ffs, const char *name,</span></span> |
| <span id="L461"><span class="lineNum"> 461</span> : : uint32_t *part_idx)</span> |
| <span id="L462"><span class="lineNum"> 462</span> : : {</span> |
| <span id="L463"><span class="lineNum"> 463</span> :<span class="tlaGNC"> 2 : struct ffs_entry **ents = ffs->hdr.entries;</span></span> |
| <span id="L464"><span class="lineNum"> 464</span> :<span class="tlaGNC"> 2 : int i;</span></span> |
| <span id="L465"><span class="lineNum"> 465</span> : : </span> |
| <span id="L466"><span class="lineNum"> 466</span> :<span class="tlaGNC"> 2 : for (i = 0;</span></span> |
| <span id="L467"><span class="lineNum"> 467</span> :<span class="tlaGNC"> 4 : i < ffs->hdr.count &&</span></span> |
| <span id="L468"><span class="lineNum"> 468</span> :<span class="tlaGNC"> 4 : strncmp(name, ents[i]->name, FFS_PART_NAME_MAX);</span></span> |
| <span id="L469"><span class="lineNum"> 469</span> :<span class="tlaGNC"> 2 : i++);</span></span> |
| <span id="L470"><span class="lineNum"> 470</span> : : </span> |
| <span id="L471"><span class="lineNum"> 471</span> :<span class="tlaGNC"> 2 : if (i == ffs->hdr.count)</span></span> |
| <span id="L472"><span class="lineNum"> 472</span> : : return FFS_ERR_PART_NOT_FOUND;</span> |
| <span id="L473"><span class="lineNum"> 473</span> : : </span> |
| <span id="L474"><span class="lineNum"> 474</span> :<span class="tlaGNC"> 2 : if (part_idx)</span></span> |
| <span id="L475"><span class="lineNum"> 475</span> :<span class="tlaGNC"> 2 : *part_idx = i;</span></span> |
| <span id="L476"><span class="lineNum"> 476</span> : : return 0;</span> |
| <span id="L477"><span class="lineNum"> 477</span> : : }</span> |
| <span id="L478"><span class="lineNum"> 478</span> : : </span> |
| <span id="L479"><span class="lineNum"> 479</span> :<span class="tlaGNC"> 22 : int ffs_part_info(struct ffs_handle *ffs, uint32_t part_idx,</span></span> |
| <span id="L480"><span class="lineNum"> 480</span> : : char **name, uint32_t *start,</span> |
| <span id="L481"><span class="lineNum"> 481</span> : : uint32_t *total_size, uint32_t *act_size, bool *ecc)</span> |
| <span id="L482"><span class="lineNum"> 482</span> : : {</span> |
| <span id="L483"><span class="lineNum"> 483</span> :<span class="tlaGNC"> 22 : struct ffs_entry *ent;</span></span> |
| <span id="L484"><span class="lineNum"> 484</span> :<span class="tlaGNC"> 22 : char *n;</span></span> |
| <span id="L485"><span class="lineNum"> 485</span> : : </span> |
| <span id="L486"><span class="lineNum"> 486</span> :<span class="tlaGNC"> 22 : ent = __ffs_entry_get(ffs, part_idx);</span></span> |
| <span id="L487"><span class="lineNum"> 487</span> :<span class="tlaGNC"> 21 : if (!ent)</span></span> |
| <span id="L488"><span class="lineNum"> 488</span> : : return FFS_ERR_PART_NOT_FOUND;</span> |
| <span id="L489"><span class="lineNum"> 489</span> : : </span> |
| <span id="L490"><span class="lineNum"> 490</span> :<span class="tlaGNC"> 21 : if (start)</span></span> |
| <span id="L491"><span class="lineNum"> 491</span> :<span class="tlaGNC"> 21 : *start = ent->base;</span></span> |
| <span id="L492"><span class="lineNum"> 492</span> :<span class="tlaGNC"> 21 : if (total_size)</span></span> |
| <span id="L493"><span class="lineNum"> 493</span> :<span class="tlaGNC"> 21 : *total_size = ent->size;</span></span> |
| <span id="L494"><span class="lineNum"> 494</span> :<span class="tlaGNC"> 21 : if (act_size)</span></span> |
| <span id="L495"><span class="lineNum"> 495</span> :<span class="tlaGNC"> 21 : *act_size = ent->actual;</span></span> |
| <span id="L496"><span class="lineNum"> 496</span> :<span class="tlaGNC"> 21 : if (ecc)</span></span> |
| <span id="L497"><span class="lineNum"> 497</span> :<span class="tlaGNC"> 8 : *ecc = has_ecc(ent);</span></span> |
| <span id="L498"><span class="lineNum"> 498</span> : : </span> |
| <span id="L499"><span class="lineNum"> 499</span> :<span class="tlaGNC"> 21 : if (name) {</span></span> |
| <span id="L500"><span class="lineNum"> 500</span> :<span class="tlaGNC"> 13 : n = calloc(1, FFS_PART_NAME_MAX + 1);</span></span> |
| <span id="L501"><span class="lineNum"> 501</span> :<span class="tlaGNC"> 13 : if (!n)</span></span> |
| <span id="L502"><span class="lineNum"> 502</span> : : return FLASH_ERR_MALLOC_FAILED;</span> |
| <span id="L503"><span class="lineNum"> 503</span> :<span class="tlaGNC"> 13 : memcpy(n, ent->name, FFS_PART_NAME_MAX);</span></span> |
| <span id="L504"><span class="lineNum"> 504</span> :<span class="tlaGNC"> 13 : *name = n;</span></span> |
| <span id="L505"><span class="lineNum"> 505</span> : : }</span> |
| <span id="L506"><span class="lineNum"> 506</span> : : return 0;</span> |
| <span id="L507"><span class="lineNum"> 507</span> : : }</span> |
| <span id="L508"><span class="lineNum"> 508</span> : : </span> |
| <span id="L509"><span class="lineNum"> 509</span> : : /*</span> |
| <span id="L510"><span class="lineNum"> 510</span> : : * There are quite a few ways one might consider two ffs_handles to be the</span> |
| <span id="L511"><span class="lineNum"> 511</span> : : * same. For the purposes of this function we are trying to detect a fairly</span> |
| <span id="L512"><span class="lineNum"> 512</span> : : * specific scenario:</span> |
| <span id="L513"><span class="lineNum"> 513</span> : : * Consecutive calls to ffs_next_side() may succeed but have gone circular.</span> |
| <span id="L514"><span class="lineNum"> 514</span> : : * It is possible that the OTHER_SIDE partition in one TOC actually points</span> |
| <span id="L515"><span class="lineNum"> 515</span> : : * back to the TOC to first ffs_handle.</span> |
| <span id="L516"><span class="lineNum"> 516</span> : : * This function compares for this case, therefore the requirements are</span> |
| <span id="L517"><span class="lineNum"> 517</span> : : * simple, the underlying blocklevel_devices must be the same along with</span> |
| <span id="L518"><span class="lineNum"> 518</span> : : * the toc_offset and the max_size.</span> |
| <span id="L519"><span class="lineNum"> 519</span> : : */</span> |
| <span id="L520"><span class="lineNum"> 520</span> :<span class="tlaUNC tlaBgUNC"> 0 : bool ffs_equal(struct ffs_handle *one, struct ffs_handle *two)</span></span> |
| <span id="L521"><span class="lineNum"> 521</span> : : {</span> |
| <span id="L522"><span class="lineNum"> 522</span> :<span class="tlaUNC"> 0 : return (!one && !two) || (one && two && one->bl == two->bl</span></span> |
| <span id="L523"><span class="lineNum"> 523</span> : : && one->toc_offset == two->toc_offset</span> |
| <span id="L524"><span class="lineNum"> 524</span> :<span class="tlaUNC"> 0 : && one->max_size == two->max_size);</span></span> |
| <span id="L525"><span class="lineNum"> 525</span> : : }</span> |
| <span id="L526"><span class="lineNum"> 526</span> : : </span> |
| <span id="L527"><span class="lineNum"> 527</span> :<span class="tlaUNC"> 0 : int ffs_next_side(struct ffs_handle *ffs, struct ffs_handle **new_ffs,</span></span> |
| <span id="L528"><span class="lineNum"> 528</span> : : bool mark_ecc)</span> |
| <span id="L529"><span class="lineNum"> 529</span> : : {</span> |
| <span id="L530"><span class="lineNum"> 530</span> :<span class="tlaUNC"> 0 : int rc;</span></span> |
| <span id="L531"><span class="lineNum"> 531</span> :<span class="tlaUNC"> 0 : uint32_t index, offset, max_size;</span></span> |
| <span id="L532"><span class="lineNum"> 532</span> : : </span> |
| <span id="L533"><span class="lineNum"> 533</span> :<span class="tlaUNC"> 0 : if (!ffs || !new_ffs)</span></span> |
| <span id="L534"><span class="lineNum"> 534</span> : : return FLASH_ERR_PARM_ERROR;</span> |
| <span id="L535"><span class="lineNum"> 535</span> : : </span> |
| <span id="L536"><span class="lineNum"> 536</span> :<span class="tlaUNC"> 0 : *new_ffs = NULL;</span></span> |
| <span id="L537"><span class="lineNum"> 537</span> : : </span> |
| <span id="L538"><span class="lineNum"> 538</span> :<span class="tlaUNC"> 0 : rc = ffs_lookup_part(ffs, "OTHER_SIDE", &index);</span></span> |
| <span id="L539"><span class="lineNum"> 539</span> :<span class="tlaUNC"> 0 : if (rc)</span></span> |
| <span id="L540"><span class="lineNum"> 540</span> : : return rc;</span> |
| <span id="L541"><span class="lineNum"> 541</span> : : </span> |
| <span id="L542"><span class="lineNum"> 542</span> :<span class="tlaUNC"> 0 : rc = ffs_part_info(ffs, index, NULL, &offset, &max_size, NULL, NULL);</span></span> |
| <span id="L543"><span class="lineNum"> 543</span> :<span class="tlaUNC"> 0 : if (rc)</span></span> |
| <span id="L544"><span class="lineNum"> 544</span> : : return rc;</span> |
| <span id="L545"><span class="lineNum"> 545</span> : : </span> |
| <span id="L546"><span class="lineNum"> 546</span> :<span class="tlaUNC"> 0 : return ffs_init(offset, max_size, ffs->bl, new_ffs, mark_ecc);</span></span> |
| <span id="L547"><span class="lineNum"> 547</span> : : }</span> |
| <span id="L548"><span class="lineNum"> 548</span> : : </span> |
| <span id="L549"><span class="lineNum"> 549</span> :<span class="tlaUNC"> 0 : int ffs_entry_add(struct ffs_hdr *hdr, struct ffs_entry *entry)</span></span> |
| <span id="L550"><span class="lineNum"> 550</span> : : {</span> |
| <span id="L551"><span class="lineNum"> 551</span> :<span class="tlaUNC"> 0 : const char *smallest_name;</span></span> |
| <span id="L552"><span class="lineNum"> 552</span> :<span class="tlaUNC"> 0 : uint32_t smallest_base, toc_base;</span></span> |
| <span id="L553"><span class="lineNum"> 553</span> :<span class="tlaUNC"> 0 : int i;</span></span> |
| <span id="L554"><span class="lineNum"> 554</span> : : </span> |
| <span id="L555"><span class="lineNum"> 555</span> :<span class="tlaUNC"> 0 : FL_DBG("LIBFFS: Adding '%s' at 0x%08x..0x%08x\n",</span></span> |
| <span id="L556"><span class="lineNum"> 556</span> : : entry->name, entry->base, entry->base + entry->size);</span> |
| <span id="L557"><span class="lineNum"> 557</span> : : </span> |
| <span id="L558"><span class="lineNum"> 558</span> :<span class="tlaUNC"> 0 : if (hdr->count == 0) {</span></span> |
| <span id="L559"><span class="lineNum"> 559</span> :<span class="tlaUNC"> 0 : FL_DBG("LIBFFS: Adding an entry to an empty header\n");</span></span> |
| <span id="L560"><span class="lineNum"> 560</span> :<span class="tlaUNC"> 0 : hdr->entries[hdr->count++] = entry;</span></span> |
| <span id="L561"><span class="lineNum"> 561</span> : : }</span> |
| <span id="L562"><span class="lineNum"> 562</span> :<span class="tlaUNC"> 0 : if (entry->base + entry->size > hdr->block_size * hdr->block_count)</span></span> |
| <span id="L563"><span class="lineNum"> 563</span> : : return FFS_ERR_BAD_PART_SIZE;</span> |
| <span id="L564"><span class="lineNum"> 564</span> : : </span> |
| <span id="L565"><span class="lineNum"> 565</span> :<span class="tlaUNC"> 0 : smallest_base = entry->base;</span></span> |
| <span id="L566"><span class="lineNum"> 566</span> :<span class="tlaUNC"> 0 : smallest_name = entry->name;</span></span> |
| <span id="L567"><span class="lineNum"> 567</span> :<span class="tlaUNC"> 0 : toc_base = 0;</span></span> |
| <span id="L568"><span class="lineNum"> 568</span> : : /*</span> |
| <span id="L569"><span class="lineNum"> 569</span> : : * TODO: This may have assumed entries was sorted</span> |
| <span id="L570"><span class="lineNum"> 570</span> : : */</span> |
| <span id="L571"><span class="lineNum"> 571</span> :<span class="tlaUNC"> 0 : for (i = 0; i < hdr->count; i++) {</span></span> |
| <span id="L572"><span class="lineNum"> 572</span> :<span class="tlaUNC"> 0 : struct ffs_entry *ent = hdr->entries[i];</span></span> |
| <span id="L573"><span class="lineNum"> 573</span> : : </span> |
| <span id="L574"><span class="lineNum"> 574</span> : : /* Don't allow same names to differ only by case */</span> |
| <span id="L575"><span class="lineNum"> 575</span> :<span class="tlaUNC"> 0 : if (strncasecmp(entry->name, ent->name, FFS_PART_NAME_MAX) == 0)</span></span> |
| <span id="L576"><span class="lineNum"> 576</span> : : return FFS_ERR_BAD_PART_NAME;</span> |
| <span id="L577"><span class="lineNum"> 577</span> : : </span> |
| <span id="L578"><span class="lineNum"> 578</span> :<span class="tlaUNC"> 0 : if (entry->base >= ent->base && entry->base < ent->base + ent->size)</span></span> |
| <span id="L579"><span class="lineNum"> 579</span> : : return FFS_ERR_BAD_PART_BASE;</span> |
| <span id="L580"><span class="lineNum"> 580</span> : : </span> |
| <span id="L581"><span class="lineNum"> 581</span> :<span class="tlaUNC"> 0 : if (entry->base + entry->size > ent->base &&</span></span> |
| <span id="L582"><span class="lineNum"> 582</span> :<span class="tlaUNC"> 0 : entry->base + entry->size < ent->base + ent->size)</span></span> |
| <span id="L583"><span class="lineNum"> 583</span> : : return FFS_ERR_BAD_PART_SIZE;</span> |
| <span id="L584"><span class="lineNum"> 584</span> : : </span> |
| <span id="L585"><span class="lineNum"> 585</span> :<span class="tlaUNC"> 0 : if (entry->actual > entry->size)</span></span> |
| <span id="L586"><span class="lineNum"> 586</span> : : return FFS_ERR_BAD_PART_SIZE;</span> |
| <span id="L587"><span class="lineNum"> 587</span> : : </span> |
| <span id="L588"><span class="lineNum"> 588</span> :<span class="tlaUNC"> 0 : if (entry->pid != FFS_PID_TOPLEVEL)</span></span> |
| <span id="L589"><span class="lineNum"> 589</span> : : return FFS_ERR_BAD_PART_PID;</span> |
| <span id="L590"><span class="lineNum"> 590</span> : : </span> |
| <span id="L591"><span class="lineNum"> 591</span> : : /* First partition is the partition table */</span> |
| <span id="L592"><span class="lineNum"> 592</span> :<span class="tlaUNC"> 0 : if (i == 0) {</span></span> |
| <span id="L593"><span class="lineNum"> 593</span> : : toc_base = ent->base;</span> |
| <span id="L594"><span class="lineNum"> 594</span> : : } else {</span> |
| <span id="L595"><span class="lineNum"> 595</span> : : /*</span> |
| <span id="L596"><span class="lineNum"> 596</span> : : * We're looking for the partition directly</span> |
| <span id="L597"><span class="lineNum"> 597</span> : : * after the toc to make sure we don't</span> |
| <span id="L598"><span class="lineNum"> 598</span> : : * overflow onto it.</span> |
| <span id="L599"><span class="lineNum"> 599</span> : : */</span> |
| <span id="L600"><span class="lineNum"> 600</span> :<span class="tlaUNC"> 0 : if (ent->base < smallest_base && ent->base > toc_base) {</span></span> |
| <span id="L601"><span class="lineNum"> 601</span> :<span class="tlaUNC"> 0 : smallest_base = ent->base;</span></span> |
| <span id="L602"><span class="lineNum"> 602</span> :<span class="tlaUNC"> 0 : smallest_name = ent->name;</span></span> |
| <span id="L603"><span class="lineNum"> 603</span> : : }</span> |
| <span id="L604"><span class="lineNum"> 604</span> : : }</span> |
| <span id="L605"><span class="lineNum"> 605</span> : : }</span> |
| <span id="L606"><span class="lineNum"> 606</span> : : /* If the smallest base is before the TOC, don't worry */</span> |
| <span id="L607"><span class="lineNum"> 607</span> :<span class="tlaUNC"> 0 : if (smallest_base > toc_base && (hdr->count + 1) * sizeof(struct __ffs_entry) +</span></span> |
| <span id="L608"><span class="lineNum"> 608</span> :<span class="tlaUNC"> 0 : sizeof(struct __ffs_hdr) + toc_base > smallest_base) {</span></span> |
| <span id="L609"><span class="lineNum"> 609</span> :<span class="tlaUNC"> 0 : fprintf(stderr, "Adding partition '%s' would cause partition '%s' at "</span></span> |
| <span id="L610"><span class="lineNum"> 610</span> : : "0x%08x to overlap with the header\n", entry->name, smallest_name,</span> |
| <span id="L611"><span class="lineNum"> 611</span> : : smallest_base);</span> |
| <span id="L612"><span class="lineNum"> 612</span> :<span class="tlaUNC"> 0 : return FFS_ERR_BAD_PART_BASE;</span></span> |
| <span id="L613"><span class="lineNum"> 613</span> : : }</span> |
| <span id="L614"><span class="lineNum"> 614</span> : : </span> |
| <span id="L615"><span class="lineNum"> 615</span> :<span class="tlaUNC"> 0 : if (hdr->count == hdr->entries_size) {</span></span> |
| <span id="L616"><span class="lineNum"> 616</span> :<span class="tlaUNC"> 0 : struct ffs_entry **old = hdr->entries;</span></span> |
| <span id="L617"><span class="lineNum"> 617</span> : : </span> |
| <span id="L618"><span class="lineNum"> 618</span> :<span class="tlaUNC"> 0 : hdr->entries = realloc(hdr->entries,</span></span> |
| <span id="L619"><span class="lineNum"> 619</span> :<span class="tlaUNC"> 0 : (HDR_ENTRIES_NUM + hdr->entries_size) * sizeof(struct ffs_entry *));</span></span> |
| <span id="L620"><span class="lineNum"> 620</span> :<span class="tlaUNC"> 0 : if (!hdr->entries) {</span></span> |
| <span id="L621"><span class="lineNum"> 621</span> :<span class="tlaUNC"> 0 : hdr->entries = old;</span></span> |
| <span id="L622"><span class="lineNum"> 622</span> :<span class="tlaUNC"> 0 : return FLASH_ERR_MALLOC_FAILED;</span></span> |
| <span id="L623"><span class="lineNum"> 623</span> : : }</span> |
| <span id="L624"><span class="lineNum"> 624</span> :<span class="tlaUNC"> 0 : hdr->entries_size += HDR_ENTRIES_NUM;</span></span> |
| <span id="L625"><span class="lineNum"> 625</span> : : }</span> |
| <span id="L626"><span class="lineNum"> 626</span> :<span class="tlaUNC"> 0 : entry->ref++;</span></span> |
| <span id="L627"><span class="lineNum"> 627</span> :<span class="tlaUNC"> 0 : hdr->entries[hdr->count++] = entry;</span></span> |
| <span id="L628"><span class="lineNum"> 628</span> : : </span> |
| <span id="L629"><span class="lineNum"> 629</span> :<span class="tlaUNC"> 0 : return 0;</span></span> |
| <span id="L630"><span class="lineNum"> 630</span> : : }</span> |
| <span id="L631"><span class="lineNum"> 631</span> : : </span> |
| <span id="L632"><span class="lineNum"> 632</span> :<span class="tlaUNC"> 0 : int ffs_hdr_finalise(struct blocklevel_device *bl, struct ffs_hdr *hdr)</span></span> |
| <span id="L633"><span class="lineNum"> 633</span> : : {</span> |
| <span id="L634"><span class="lineNum"> 634</span> :<span class="tlaUNC"> 0 : int num_entries, i, rc = 0;</span></span> |
| <span id="L635"><span class="lineNum"> 635</span> :<span class="tlaUNC"> 0 : struct __ffs_hdr *real_hdr;</span></span> |
| <span id="L636"><span class="lineNum"> 636</span> : : </span> |
| <span id="L637"><span class="lineNum"> 637</span> :<span class="tlaUNC"> 0 : num_entries = ffs_num_entries(hdr);</span></span> |
| <span id="L638"><span class="lineNum"> 638</span> : : </span> |
| <span id="L639"><span class="lineNum"> 639</span> : : /* A TOC shouldn't have zero partitions */</span> |
| <span id="L640"><span class="lineNum"> 640</span> :<span class="tlaUNC"> 0 : if (num_entries == 0)</span></span> |
| <span id="L641"><span class="lineNum"> 641</span> : : return FFS_ERR_BAD_SIZE;</span> |
| <span id="L642"><span class="lineNum"> 642</span> : : </span> |
| <span id="L643"><span class="lineNum"> 643</span> :<span class="tlaUNC"> 0 : real_hdr = malloc(ffs_hdr_raw_size(num_entries));</span></span> |
| <span id="L644"><span class="lineNum"> 644</span> :<span class="tlaUNC"> 0 : if (!real_hdr)</span></span> |
| <span id="L645"><span class="lineNum"> 645</span> : : return FLASH_ERR_MALLOC_FAILED;</span> |
| <span id="L646"><span class="lineNum"> 646</span> : : </span> |
| <span id="L647"><span class="lineNum"> 647</span> : : /*</span> |
| <span id="L648"><span class="lineNum"> 648</span> : : * So that the checksum gets calculated correctly at least the</span> |
| <span id="L649"><span class="lineNum"> 649</span> : : * real_hdr->checksum must be zero before calling ffs_hdr_checksum()</span> |
| <span id="L650"><span class="lineNum"> 650</span> : : * memset()ting the entire struct to zero is probably wise as it</span> |
| <span id="L651"><span class="lineNum"> 651</span> : : * appears the reserved fields are always zero.</span> |
| <span id="L652"><span class="lineNum"> 652</span> : : */</span> |
| <span id="L653"><span class="lineNum"> 653</span> :<span class="tlaUNC"> 0 : memset(real_hdr, 0, sizeof(*real_hdr));</span></span> |
| <span id="L654"><span class="lineNum"> 654</span> : : </span> |
| <span id="L655"><span class="lineNum"> 655</span> :<span class="tlaUNC"> 0 : hdr->part->size = ffs_hdr_raw_size(num_entries) + hdr->block_size;</span></span> |
| <span id="L656"><span class="lineNum"> 656</span> : : /*</span> |
| <span id="L657"><span class="lineNum"> 657</span> : : * So actual is in bytes. ffs_entry_to_flash() don't do the</span> |
| <span id="L658"><span class="lineNum"> 658</span> : : * block_size division that we're relying on</span> |
| <span id="L659"><span class="lineNum"> 659</span> : : */</span> |
| <span id="L660"><span class="lineNum"> 660</span> :<span class="tlaUNC"> 0 : hdr->part->actual = (hdr->part->size / hdr->block_size) * hdr->block_size;</span></span> |
| <span id="L661"><span class="lineNum"> 661</span> :<span class="tlaUNC"> 0 : real_hdr->magic = cpu_to_be32(FFS_MAGIC);</span></span> |
| <span id="L662"><span class="lineNum"> 662</span> :<span class="tlaUNC"> 0 : real_hdr->version = cpu_to_be32(hdr->version);</span></span> |
| <span id="L663"><span class="lineNum"> 663</span> :<span class="tlaUNC"> 0 : real_hdr->size = cpu_to_be32(hdr->part->size / hdr->block_size);</span></span> |
| <span id="L664"><span class="lineNum"> 664</span> :<span class="tlaUNC"> 0 : real_hdr->entry_size = cpu_to_be32(sizeof(struct __ffs_entry));</span></span> |
| <span id="L665"><span class="lineNum"> 665</span> :<span class="tlaUNC"> 0 : real_hdr->entry_count = cpu_to_be32(num_entries);</span></span> |
| <span id="L666"><span class="lineNum"> 666</span> :<span class="tlaUNC"> 0 : real_hdr->block_size = cpu_to_be32(hdr->block_size);</span></span> |
| <span id="L667"><span class="lineNum"> 667</span> :<span class="tlaUNC"> 0 : real_hdr->block_count = cpu_to_be32(hdr->block_count);</span></span> |
| <span id="L668"><span class="lineNum"> 668</span> :<span class="tlaUNC"> 0 : real_hdr->checksum = ffs_hdr_checksum(real_hdr);</span></span> |
| <span id="L669"><span class="lineNum"> 669</span> : : </span> |
| <span id="L670"><span class="lineNum"> 670</span> :<span class="tlaUNC"> 0 : for (i = 0; i < hdr->count; i++) {</span></span> |
| <span id="L671"><span class="lineNum"> 671</span> :<span class="tlaUNC"> 0 : rc = ffs_entry_to_flash(hdr, real_hdr->entries + i, hdr->entries[i]);</span></span> |
| <span id="L672"><span class="lineNum"> 672</span> :<span class="tlaUNC"> 0 : if (rc) {</span></span> |
| <span id="L673"><span class="lineNum"> 673</span> :<span class="tlaUNC"> 0 : fprintf(stderr, "Couldn't format all entries for new TOC\n");</span></span> |
| <span id="L674"><span class="lineNum"> 674</span> :<span class="tlaUNC"> 0 : goto out;</span></span> |
| <span id="L675"><span class="lineNum"> 675</span> : : }</span> |
| <span id="L676"><span class="lineNum"> 676</span> : : }</span> |
| <span id="L677"><span class="lineNum"> 677</span> : : </span> |
| <span id="L678"><span class="lineNum"> 678</span> : : /* Don't really care if this fails */</span> |
| <span id="L679"><span class="lineNum"> 679</span> :<span class="tlaUNC"> 0 : blocklevel_erase(bl, hdr->part->base, hdr->size);</span></span> |
| <span id="L680"><span class="lineNum"> 680</span> :<span class="tlaUNC"> 0 : rc = blocklevel_write(bl, hdr->part->base, real_hdr,</span></span> |
| <span id="L681"><span class="lineNum"> 681</span> : : ffs_hdr_raw_size(num_entries));</span> |
| <span id="L682"><span class="lineNum"> 682</span> :<span class="tlaUNC"> 0 : if (rc)</span></span> |
| <span id="L683"><span class="lineNum"> 683</span> : : goto out;</span> |
| <span id="L684"><span class="lineNum"> 684</span> : : </span> |
| <span id="L685"><span class="lineNum"> 685</span> :<span class="tlaUNC"> 0 : out:</span></span> |
| <span id="L686"><span class="lineNum"> 686</span> :<span class="tlaUNC"> 0 : free(real_hdr);</span></span> |
| <span id="L687"><span class="lineNum"> 687</span> :<span class="tlaUNC"> 0 : return rc;</span></span> |
| <span id="L688"><span class="lineNum"> 688</span> : : }</span> |
| <span id="L689"><span class="lineNum"> 689</span> : : </span> |
| <span id="L690"><span class="lineNum"> 690</span> :<span class="tlaUNC"> 0 : int ffs_entry_user_set(struct ffs_entry *ent, struct ffs_entry_user *user)</span></span> |
| <span id="L691"><span class="lineNum"> 691</span> : : {</span> |
| <span id="L692"><span class="lineNum"> 692</span> :<span class="tlaUNC"> 0 : if (!ent || !user)</span></span> |
| <span id="L693"><span class="lineNum"> 693</span> : : return -1;</span> |
| <span id="L694"><span class="lineNum"> 694</span> : : </span> |
| <span id="L695"><span class="lineNum"> 695</span> : : /*</span> |
| <span id="L696"><span class="lineNum"> 696</span> : : * Don't allow the user to specify anything we dont't know about.</span> |
| <span id="L697"><span class="lineNum"> 697</span> : : * Rationale: This is the library providing access to the FFS structures.</span> |
| <span id="L698"><span class="lineNum"> 698</span> : : * If the consumer of the library knows more about FFS structures then</span> |
| <span id="L699"><span class="lineNum"> 699</span> : : * questions need to be asked.</span> |
| <span id="L700"><span class="lineNum"> 700</span> : : * The other possibility is that they've unknowningly supplied invalid</span> |
| <span id="L701"><span class="lineNum"> 701</span> : : * flags, we should tell them.</span> |
| <span id="L702"><span class="lineNum"> 702</span> : : */</span> |
| <span id="L703"><span class="lineNum"> 703</span> :<span class="tlaUNC"> 0 : if (user->chip)</span></span> |
| <span id="L704"><span class="lineNum"> 704</span> : : return -1;</span> |
| <span id="L705"><span class="lineNum"> 705</span> :<span class="tlaUNC"> 0 : if (user->compresstype)</span></span> |
| <span id="L706"><span class="lineNum"> 706</span> : : return -1;</span> |
| <span id="L707"><span class="lineNum"> 707</span> :<span class="tlaUNC"> 0 : if (user->datainteg & ~(FFS_ENRY_INTEG_ECC))</span></span> |
| <span id="L708"><span class="lineNum"> 708</span> : : return -1;</span> |
| <span id="L709"><span class="lineNum"> 709</span> :<span class="tlaUNC"> 0 : if (user->vercheck & ~(FFS_VERCHECK_SHA512V | FFS_VERCHECK_SHA512EC))</span></span> |
| <span id="L710"><span class="lineNum"> 710</span> : : return -1;</span> |
| <span id="L711"><span class="lineNum"> 711</span> :<span class="tlaUNC"> 0 : if (user->miscflags & ~(FFS_MISCFLAGS_PRESERVED | FFS_MISCFLAGS_BACKUP |</span></span> |
| <span id="L712"><span class="lineNum"> 712</span> : : FFS_MISCFLAGS_READONLY | FFS_MISCFLAGS_REPROVISION |</span> |
| <span id="L713"><span class="lineNum"> 713</span> : : FFS_MISCFLAGS_VOLATILE | FFS_MISCFLAGS_GOLDEN |</span> |
| <span id="L714"><span class="lineNum"> 714</span> : : FFS_MISCFLAGS_CLEARECC))</span> |
| <span id="L715"><span class="lineNum"> 715</span> : : return -1;</span> |
| <span id="L716"><span class="lineNum"> 716</span> : : </span> |
| <span id="L717"><span class="lineNum"> 717</span> :<span class="tlaUNC"> 0 : memcpy(&ent->user, user, sizeof(*user));</span></span> |
| <span id="L718"><span class="lineNum"> 718</span> :<span class="tlaUNC"> 0 : return 0;</span></span> |
| <span id="L719"><span class="lineNum"> 719</span> : : }</span> |
| <span id="L720"><span class="lineNum"> 720</span> : : </span> |
| <span id="L721"><span class="lineNum"> 721</span> :<span class="tlaGNC tlaBgGNC"> 10 : struct ffs_entry_user ffs_entry_user_get(struct ffs_entry *ent)</span></span> |
| <span id="L722"><span class="lineNum"> 722</span> : : {</span> |
| <span id="L723"><span class="lineNum"> 723</span> :<span class="tlaGNC"> 10 : struct ffs_entry_user user = { 0 };</span></span> |
| <span id="L724"><span class="lineNum"> 724</span> : : </span> |
| <span id="L725"><span class="lineNum"> 725</span> :<span class="tlaGNC"> 10 : if (ent)</span></span> |
| <span id="L726"><span class="lineNum"> 726</span> :<span class="tlaGNC"> 10 : memcpy(&user, &ent->user, sizeof(user));</span></span> |
| <span id="L727"><span class="lineNum"> 727</span> : : </span> |
| <span id="L728"><span class="lineNum"> 728</span> :<span class="tlaGNC"> 10 : return user;</span></span> |
| <span id="L729"><span class="lineNum"> 729</span> : : }</span> |
| <span id="L730"><span class="lineNum"> 730</span> : : </span> |
| <span id="L731"><span class="lineNum"> 731</span> :<span class="tlaUNC tlaBgUNC"> 0 : int ffs_entry_new(const char *name, uint32_t base, uint32_t size, struct ffs_entry **r)</span></span> |
| <span id="L732"><span class="lineNum"> 732</span> : : {</span> |
| <span id="L733"><span class="lineNum"> 733</span> :<span class="tlaUNC"> 0 : struct ffs_entry *ret;</span></span> |
| <span id="L734"><span class="lineNum"> 734</span> : : </span> |
| <span id="L735"><span class="lineNum"> 735</span> :<span class="tlaUNC"> 0 : ret = calloc(1, sizeof(*ret));</span></span> |
| <span id="L736"><span class="lineNum"> 736</span> :<span class="tlaUNC"> 0 : if (!ret)</span></span> |
| <span id="L737"><span class="lineNum"> 737</span> : : return FLASH_ERR_MALLOC_FAILED;</span> |
| <span id="L738"><span class="lineNum"> 738</span> : : </span> |
| <span id="L739"><span class="lineNum"> 739</span> :<span class="tlaUNC"> 0 : strncpy(ret->name, name, FFS_PART_NAME_MAX);</span></span> |
| <span id="L740"><span class="lineNum"> 740</span> :<span class="tlaUNC"> 0 : ret->name[FFS_PART_NAME_MAX] = '\0';</span></span> |
| <span id="L741"><span class="lineNum"> 741</span> :<span class="tlaUNC"> 0 : ret->base = base;</span></span> |
| <span id="L742"><span class="lineNum"> 742</span> :<span class="tlaUNC"> 0 : ret->size = size;</span></span> |
| <span id="L743"><span class="lineNum"> 743</span> :<span class="tlaUNC"> 0 : ret->actual = size;</span></span> |
| <span id="L744"><span class="lineNum"> 744</span> :<span class="tlaUNC"> 0 : ret->pid = FFS_PID_TOPLEVEL;</span></span> |
| <span id="L745"><span class="lineNum"> 745</span> :<span class="tlaUNC"> 0 : ret->type = FFS_TYPE_DATA;</span></span> |
| <span id="L746"><span class="lineNum"> 746</span> :<span class="tlaUNC"> 0 : ret->ref = 1;</span></span> |
| <span id="L747"><span class="lineNum"> 747</span> : : </span> |
| <span id="L748"><span class="lineNum"> 748</span> :<span class="tlaUNC"> 0 : *r = ret;</span></span> |
| <span id="L749"><span class="lineNum"> 749</span> :<span class="tlaUNC"> 0 : return 0;</span></span> |
| <span id="L750"><span class="lineNum"> 750</span> : : }</span> |
| <span id="L751"><span class="lineNum"> 751</span> : : </span> |
| <span id="L752"><span class="lineNum"> 752</span> :<span class="tlaUNC"> 0 : int ffs_entry_set_act_size(struct ffs_entry *ent, uint32_t actual_size)</span></span> |
| <span id="L753"><span class="lineNum"> 753</span> : : {</span> |
| <span id="L754"><span class="lineNum"> 754</span> :<span class="tlaUNC"> 0 : if (!ent)</span></span> |
| <span id="L755"><span class="lineNum"> 755</span> : : return -1;</span> |
| <span id="L756"><span class="lineNum"> 756</span> : : </span> |
| <span id="L757"><span class="lineNum"> 757</span> :<span class="tlaUNC"> 0 : if (actual_size > ent->size)</span></span> |
| <span id="L758"><span class="lineNum"> 758</span> : : return FFS_ERR_BAD_PART_SIZE;</span> |
| <span id="L759"><span class="lineNum"> 759</span> : : </span> |
| <span id="L760"><span class="lineNum"> 760</span> :<span class="tlaUNC"> 0 : ent->actual = actual_size;</span></span> |
| <span id="L761"><span class="lineNum"> 761</span> : : </span> |
| <span id="L762"><span class="lineNum"> 762</span> :<span class="tlaUNC"> 0 : return 0;</span></span> |
| <span id="L763"><span class="lineNum"> 763</span> : : }</span> |
| <span id="L764"><span class="lineNum"> 764</span> : : </span> |
| <span id="L765"><span class="lineNum"> 765</span> :<span class="tlaUNC"> 0 : int ffs_hdr_new(uint32_t block_size, uint32_t block_count,</span></span> |
| <span id="L766"><span class="lineNum"> 766</span> : : struct ffs_entry **e, struct ffs_hdr **r)</span> |
| <span id="L767"><span class="lineNum"> 767</span> : : {</span> |
| <span id="L768"><span class="lineNum"> 768</span> :<span class="tlaUNC"> 0 : struct ffs_hdr *ret;</span></span> |
| <span id="L769"><span class="lineNum"> 769</span> :<span class="tlaUNC"> 0 : struct ffs_entry *part_table;</span></span> |
| <span id="L770"><span class="lineNum"> 770</span> :<span class="tlaUNC"> 0 : int rc;</span></span> |
| <span id="L771"><span class="lineNum"> 771</span> : : </span> |
| <span id="L772"><span class="lineNum"> 772</span> :<span class="tlaUNC"> 0 : ret = calloc(1, sizeof(*ret));</span></span> |
| <span id="L773"><span class="lineNum"> 773</span> :<span class="tlaUNC"> 0 : if (!ret)</span></span> |
| <span id="L774"><span class="lineNum"> 774</span> : : return FLASH_ERR_MALLOC_FAILED;</span> |
| <span id="L775"><span class="lineNum"> 775</span> : : </span> |
| <span id="L776"><span class="lineNum"> 776</span> :<span class="tlaUNC"> 0 : ret->version = FFS_VERSION_1;</span></span> |
| <span id="L777"><span class="lineNum"> 777</span> :<span class="tlaUNC"> 0 : ret->block_size = block_size;</span></span> |
| <span id="L778"><span class="lineNum"> 778</span> :<span class="tlaUNC"> 0 : ret->block_count = block_count;</span></span> |
| <span id="L779"><span class="lineNum"> 779</span> :<span class="tlaUNC"> 0 : ret->entries = calloc(HDR_ENTRIES_NUM, sizeof(struct ffs_entry *));</span></span> |
| <span id="L780"><span class="lineNum"> 780</span> :<span class="tlaUNC"> 0 : ret->entries_size = HDR_ENTRIES_NUM;</span></span> |
| <span id="L781"><span class="lineNum"> 781</span> : : </span> |
| <span id="L782"><span class="lineNum"> 782</span> :<span class="tlaUNC"> 0 : if (!e || !(*e)) {</span></span> |
| <span id="L783"><span class="lineNum"> 783</span> : : /* Don't know how big it will be, ffs_hdr_finalise() will fix */</span> |
| <span id="L784"><span class="lineNum"> 784</span> :<span class="tlaUNC"> 0 : rc = ffs_entry_new("part", 0, 0, &part_table);</span></span> |
| <span id="L785"><span class="lineNum"> 785</span> :<span class="tlaUNC"> 0 : if (rc) {</span></span> |
| <span id="L786"><span class="lineNum"> 786</span> :<span class="tlaUNC"> 0 : free(ret);</span></span> |
| <span id="L787"><span class="lineNum"> 787</span> :<span class="tlaUNC"> 0 : return rc;</span></span> |
| <span id="L788"><span class="lineNum"> 788</span> : : }</span> |
| <span id="L789"><span class="lineNum"> 789</span> :<span class="tlaUNC"> 0 : if (e)</span></span> |
| <span id="L790"><span class="lineNum"> 790</span> :<span class="tlaUNC"> 0 : *e = part_table;</span></span> |
| <span id="L791"><span class="lineNum"> 791</span> : : } else {</span> |
| <span id="L792"><span class="lineNum"> 792</span> :<span class="tlaUNC"> 0 : part_table = *e;</span></span> |
| <span id="L793"><span class="lineNum"> 793</span> : : }</span> |
| <span id="L794"><span class="lineNum"> 794</span> : : </span> |
| <span id="L795"><span class="lineNum"> 795</span> : : /* If the user still holds a ref to e, then inc the refcount */</span> |
| <span id="L796"><span class="lineNum"> 796</span> :<span class="tlaUNC"> 0 : if (e)</span></span> |
| <span id="L797"><span class="lineNum"> 797</span> :<span class="tlaUNC"> 0 : part_table->ref++;</span></span> |
| <span id="L798"><span class="lineNum"> 798</span> : : </span> |
| <span id="L799"><span class="lineNum"> 799</span> :<span class="tlaUNC"> 0 : ret->part = part_table;</span></span> |
| <span id="L800"><span class="lineNum"> 800</span> : : </span> |
| <span id="L801"><span class="lineNum"> 801</span> :<span class="tlaUNC"> 0 : part_table->pid = FFS_PID_TOPLEVEL;</span></span> |
| <span id="L802"><span class="lineNum"> 802</span> :<span class="tlaUNC"> 0 : part_table->type = FFS_TYPE_PARTITION;</span></span> |
| <span id="L803"><span class="lineNum"> 803</span> :<span class="tlaUNC"> 0 : part_table->flags = FFS_FLAGS_PROTECTED;</span></span> |
| <span id="L804"><span class="lineNum"> 804</span> : : </span> |
| <span id="L805"><span class="lineNum"> 805</span> :<span class="tlaUNC"> 0 : ret->entries[0] = part_table;</span></span> |
| <span id="L806"><span class="lineNum"> 806</span> :<span class="tlaUNC"> 0 : ret->count = 1;</span></span> |
| <span id="L807"><span class="lineNum"> 807</span> : : </span> |
| <span id="L808"><span class="lineNum"> 808</span> :<span class="tlaUNC"> 0 : *r = ret;</span></span> |
| <span id="L809"><span class="lineNum"> 809</span> : : </span> |
| <span id="L810"><span class="lineNum"> 810</span> :<span class="tlaUNC"> 0 : return 0;</span></span> |
| <span id="L811"><span class="lineNum"> 811</span> : : }</span> |
| <span id="L812"><span class="lineNum"> 812</span> : : </span> |
| <span id="L813"><span class="lineNum"> 813</span> :<span class="tlaGNC tlaBgGNC"> 2 : int ffs_update_act_size(struct ffs_handle *ffs, uint32_t part_idx,</span></span> |
| <span id="L814"><span class="lineNum"> 814</span> : : uint32_t act_size)</span> |
| <span id="L815"><span class="lineNum"> 815</span> : : {</span> |
| <span id="L816"><span class="lineNum"> 816</span> :<span class="tlaGNC"> 2 : struct ffs_entry *ent;</span></span> |
| <span id="L817"><span class="lineNum"> 817</span> :<span class="tlaGNC"> 2 : struct __ffs_entry raw_ent;</span></span> |
| <span id="L818"><span class="lineNum"> 818</span> :<span class="tlaGNC"> 2 : uint32_t offset;</span></span> |
| <span id="L819"><span class="lineNum"> 819</span> :<span class="tlaGNC"> 2 : int rc;</span></span> |
| <span id="L820"><span class="lineNum"> 820</span> : : </span> |
| <span id="L821"><span class="lineNum"> 821</span> :<span class="tlaGNC"> 2 : ent = __ffs_entry_get(ffs, part_idx);</span></span> |
| <span id="L822"><span class="lineNum"> 822</span> :<span class="tlaGNC"> 2 : if (!ent) {</span></span> |
| <span id="L823"><span class="lineNum"> 823</span> :<span class="tlaUNC tlaBgUNC"> 0 : FL_DBG("FFS: Entry not found\n");</span></span> |
| <span id="L824"><span class="lineNum"> 824</span> :<span class="tlaUNC"> 0 : return FFS_ERR_PART_NOT_FOUND;</span></span> |
| <span id="L825"><span class="lineNum"> 825</span> : : }</span> |
| <span id="L826"><span class="lineNum"> 826</span> :<span class="tlaGNC tlaBgGNC"> 2 : offset = ffs->toc_offset + ffs_hdr_raw_size(part_idx);</span></span> |
| <span id="L827"><span class="lineNum"> 827</span> :<span class="tlaGNC"> 2 : FL_DBG("FFS: part index %d at offset 0x%08x\n",</span></span> |
| <span id="L828"><span class="lineNum"> 828</span> : : part_idx, offset);</span> |
| <span id="L829"><span class="lineNum"> 829</span> : : </span> |
| <span id="L830"><span class="lineNum"> 830</span> :<span class="tlaGNC"> 2 : if (ent->actual == act_size) {</span></span> |
| <span id="L831"><span class="lineNum"> 831</span> :<span class="tlaGNC"> 1 : FL_DBG("FFS: ent->actual alrady matches: 0x%08x==0x%08x\n",</span></span> |
| <span id="L832"><span class="lineNum"> 832</span> : : act_size, ent->actual);</span> |
| <span id="L833"><span class="lineNum"> 833</span> :<span class="tlaGNC"> 1 : return 0;</span></span> |
| <span id="L834"><span class="lineNum"> 834</span> : : }</span> |
| <span id="L835"><span class="lineNum"> 835</span> :<span class="tlaGNC"> 1 : ent->actual = act_size;</span></span> |
| <span id="L836"><span class="lineNum"> 836</span> : : </span> |
| <span id="L837"><span class="lineNum"> 837</span> :<span class="tlaGNC"> 1 : rc = ffs_entry_to_flash(&ffs->hdr, &raw_ent, ent);</span></span> |
| <span id="L838"><span class="lineNum"> 838</span> :<span class="tlaGNC"> 1 : if (rc)</span></span> |
| <span id="L839"><span class="lineNum"> 839</span> : : return rc;</span> |
| <span id="L840"><span class="lineNum"> 840</span> : : </span> |
| <span id="L841"><span class="lineNum"> 841</span> :<span class="tlaGNC"> 1 : return blocklevel_smart_write(ffs->bl, offset, &raw_ent, sizeof(struct __ffs_entry));</span></span> |
| <span id="L842"><span class="lineNum"> 842</span> : : }</span> |
| </pre> |
| </td> |
| </tr> |
| </table> |
| <br> |
| |
| <table width="100%" border=0 cellspacing=0 cellpadding=0> |
| <tr><td class="ruler"><img src="../glass.png" width=3 height=3 alt=""></td></tr> |
| <tr><td class="versionInfo">Generated by: <a href="https://github.com//linux-test-project/lcov" target="_parent">LCOV version 2.0-1</a></td></tr> |
| </table> |
| <br> |
| |
| </body> |
| </html> |
