| <!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 - libfdt/fdt.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">libfdt</a> - fdt.c<span style="font-size: 80%;"> (source / <a href="fdt.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">50.5 %</td> |
| <td class="headerCovTableEntry">186</td> |
| <td class="headerCovTableEntry">94</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">66.7 %</td> |
| <td class="headerCovTableEntry">15</td> |
| <td class="headerCovTableEntry">10</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: (GPL-2.0-or-later OR BSD-2-Clause)</span> |
| <span id="L2"><span class="lineNum"> 2</span> : : /*</span> |
| <span id="L3"><span class="lineNum"> 3</span> : : * libfdt - Flat Device Tree manipulation</span> |
| <span id="L4"><span class="lineNum"> 4</span> : : * Copyright (C) 2006 David Gibson, IBM Corporation.</span> |
| <span id="L5"><span class="lineNum"> 5</span> : : */</span> |
| <span id="L6"><span class="lineNum"> 6</span> : : #include "libfdt_env.h"</span> |
| <span id="L7"><span class="lineNum"> 7</span> : : </span> |
| <span id="L8"><span class="lineNum"> 8</span> : : #include <fdt.h></span> |
| <span id="L9"><span class="lineNum"> 9</span> : : #include <libfdt.h></span> |
| <span id="L10"><span class="lineNum"> 10</span> : : </span> |
| <span id="L11"><span class="lineNum"> 11</span> : : #include "libfdt_internal.h"</span> |
| <span id="L12"><span class="lineNum"> 12</span> : : </span> |
| <span id="L13"><span class="lineNum"> 13</span> : : /*</span> |
| <span id="L14"><span class="lineNum"> 14</span> : : * Minimal sanity check for a read-only tree. fdt_ro_probe_() checks</span> |
| <span id="L15"><span class="lineNum"> 15</span> : : * that the given buffer contains what appears to be a flattened</span> |
| <span id="L16"><span class="lineNum"> 16</span> : : * device tree with sane information in its header.</span> |
| <span id="L17"><span class="lineNum"> 17</span> : : */</span> |
| <span id="L18"><span class="lineNum"> 18</span> :<span class="tlaGNC tlaBgGNC"> 39 : int32_t fdt_ro_probe_(const void *fdt)</span></span> |
| <span id="L19"><span class="lineNum"> 19</span> : : {</span> |
| <span id="L20"><span class="lineNum"> 20</span> :<span class="tlaGNC"> 39 : uint32_t totalsize = fdt_totalsize(fdt);</span></span> |
| <span id="L21"><span class="lineNum"> 21</span> : : </span> |
| <span id="L22"><span class="lineNum"> 22</span> :<span class="tlaGNC"> 39 : if (can_assume(VALID_DTB))</span></span> |
| <span id="L23"><span class="lineNum"> 23</span> :<span class="tlaUNC tlaBgUNC"> 0 : return totalsize;</span></span> |
| <span id="L24"><span class="lineNum"> 24</span> : : </span> |
| <span id="L25"><span class="lineNum"> 25</span> : : /* The device tree must be at an 8-byte aligned address */</span> |
| <span id="L26"><span class="lineNum"> 26</span> :<span class="tlaGNC tlaBgGNC"> 39 : if ((uintptr_t)fdt & 7)</span></span> |
| <span id="L27"><span class="lineNum"> 27</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_ALIGNMENT;</span></span> |
| <span id="L28"><span class="lineNum"> 28</span> : : </span> |
| <span id="L29"><span class="lineNum"> 29</span> :<span class="tlaGNC tlaBgGNC"> 39 : if (fdt_magic(fdt) == FDT_MAGIC) {</span></span> |
| <span id="L30"><span class="lineNum"> 30</span> : : /* Complete tree */</span> |
| <span id="L31"><span class="lineNum"> 31</span> :<span class="tlaGNC"> 39 : if (!can_assume(LATEST)) {</span></span> |
| <span id="L32"><span class="lineNum"> 32</span> :<span class="tlaGNC"> 39 : if (fdt_version(fdt) < FDT_FIRST_SUPPORTED_VERSION)</span></span> |
| <span id="L33"><span class="lineNum"> 33</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_BADVERSION;</span></span> |
| <span id="L34"><span class="lineNum"> 34</span> :<span class="tlaGNC tlaBgGNC"> 39 : if (fdt_last_comp_version(fdt) ></span></span> |
| <span id="L35"><span class="lineNum"> 35</span> : : FDT_LAST_SUPPORTED_VERSION)</span> |
| <span id="L36"><span class="lineNum"> 36</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_BADVERSION;</span></span> |
| <span id="L37"><span class="lineNum"> 37</span> : : }</span> |
| <span id="L38"><span class="lineNum"> 38</span> :<span class="tlaUNC"> 0 : } else if (fdt_magic(fdt) == FDT_SW_MAGIC) {</span></span> |
| <span id="L39"><span class="lineNum"> 39</span> : : /* Unfinished sequential-write blob */</span> |
| <span id="L40"><span class="lineNum"> 40</span> :<span class="tlaUNC"> 0 : if (!can_assume(VALID_INPUT) && fdt_size_dt_struct(fdt) == 0)</span></span> |
| <span id="L41"><span class="lineNum"> 41</span> :<span class="tlaUNC"> 0 : return -FDT_ERR_BADSTATE;</span></span> |
| <span id="L42"><span class="lineNum"> 42</span> : : } else {</span> |
| <span id="L43"><span class="lineNum"> 43</span> :<span class="tlaUNC"> 0 : return -FDT_ERR_BADMAGIC;</span></span> |
| <span id="L44"><span class="lineNum"> 44</span> : : }</span> |
| <span id="L45"><span class="lineNum"> 45</span> : : </span> |
| <span id="L46"><span class="lineNum"> 46</span> :<span class="tlaGNC tlaBgGNC"> 39 : if (totalsize < INT32_MAX)</span></span> |
| <span id="L47"><span class="lineNum"> 47</span> :<span class="tlaGNC"> 39 : return totalsize;</span></span> |
| <span id="L48"><span class="lineNum"> 48</span> : : else</span> |
| <span id="L49"><span class="lineNum"> 49</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_TRUNCATED;</span></span> |
| <span id="L50"><span class="lineNum"> 50</span> : : }</span> |
| <span id="L51"><span class="lineNum"> 51</span> : : </span> |
| <span id="L52"><span class="lineNum"> 52</span> :<span class="tlaGNC tlaBgGNC"> 45 : static int check_off_(uint32_t hdrsize, uint32_t totalsize, uint32_t off)</span></span> |
| <span id="L53"><span class="lineNum"> 53</span> : : {</span> |
| <span id="L54"><span class="lineNum"> 54</span> :<span class="tlaGNC"> 45 : return (off >= hdrsize) && (off <= totalsize);</span></span> |
| <span id="L55"><span class="lineNum"> 55</span> : : }</span> |
| <span id="L56"><span class="lineNum"> 56</span> : : </span> |
| <span id="L57"><span class="lineNum"> 57</span> :<span class="tlaGNC"> 18 : static int check_block_(uint32_t hdrsize, uint32_t totalsize,</span></span> |
| <span id="L58"><span class="lineNum"> 58</span> : : uint32_t base, uint32_t size)</span> |
| <span id="L59"><span class="lineNum"> 59</span> : : {</span> |
| <span id="L60"><span class="lineNum"> 60</span> :<span class="tlaGNC"> 18 : if (!check_off_(hdrsize, totalsize, base))</span></span> |
| <span id="L61"><span class="lineNum"> 61</span> :<span class="tlaUNC tlaBgUNC"> 0 : return 0; /* block start out of bounds */</span></span> |
| <span id="L62"><span class="lineNum"> 62</span> :<span class="tlaGNC tlaBgGNC"> 18 : if ((base + size) < base)</span></span> |
| <span id="L63"><span class="lineNum"> 63</span> :<span class="tlaUNC tlaBgUNC"> 0 : return 0; /* overflow */</span></span> |
| <span id="L64"><span class="lineNum"> 64</span> :<span class="tlaGNC tlaBgGNC"> 18 : if (!check_off_(hdrsize, totalsize, base + size))</span></span> |
| <span id="L65"><span class="lineNum"> 65</span> :<span class="tlaUNC tlaBgUNC"> 0 : return 0; /* block end out of bounds */</span></span> |
| <span id="L66"><span class="lineNum"> 66</span> :<span class="tlaGNC tlaBgGNC"> 18 : return 1;</span></span> |
| <span id="L67"><span class="lineNum"> 67</span> : : }</span> |
| <span id="L68"><span class="lineNum"> 68</span> : : </span> |
| <span id="L69"><span class="lineNum"> 69</span> :<span class="tlaGNC"> 9 : size_t fdt_header_size_(uint32_t version)</span></span> |
| <span id="L70"><span class="lineNum"> 70</span> : : {</span> |
| <span id="L71"><span class="lineNum"> 71</span> :<span class="tlaGNC"> 9 : if (version <= 1)</span></span> |
| <span id="L72"><span class="lineNum"> 72</span> :<span class="tlaUNC tlaBgUNC"> 0 : return FDT_V1_SIZE;</span></span> |
| <span id="L73"><span class="lineNum"> 73</span> :<span class="tlaGNC tlaBgGNC"> 9 : else if (version <= 2)</span></span> |
| <span id="L74"><span class="lineNum"> 74</span> :<span class="tlaUNC tlaBgUNC"> 0 : return FDT_V2_SIZE;</span></span> |
| <span id="L75"><span class="lineNum"> 75</span> :<span class="tlaGNC tlaBgGNC"> 9 : else if (version <= 3)</span></span> |
| <span id="L76"><span class="lineNum"> 76</span> :<span class="tlaUNC tlaBgUNC"> 0 : return FDT_V3_SIZE;</span></span> |
| <span id="L77"><span class="lineNum"> 77</span> :<span class="tlaGNC tlaBgGNC"> 9 : else if (version <= 16)</span></span> |
| <span id="L78"><span class="lineNum"> 78</span> :<span class="tlaUNC tlaBgUNC"> 0 : return FDT_V16_SIZE;</span></span> |
| <span id="L79"><span class="lineNum"> 79</span> : : else</span> |
| <span id="L80"><span class="lineNum"> 80</span> :<span class="tlaGNC tlaBgGNC"> 9 : return FDT_V17_SIZE;</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"> 9 : size_t fdt_header_size(const void *fdt)</span></span> |
| <span id="L84"><span class="lineNum"> 84</span> : : {</span> |
| <span id="L85"><span class="lineNum"> 85</span> :<span class="tlaGNC"> 18 : return can_assume(LATEST) ? FDT_V17_SIZE :</span></span> |
| <span id="L86"><span class="lineNum"> 86</span> :<span class="tlaGNC"> 9 : fdt_header_size_(fdt_version(fdt));</span></span> |
| <span id="L87"><span class="lineNum"> 87</span> : : }</span> |
| <span id="L88"><span class="lineNum"> 88</span> : : </span> |
| <span id="L89"><span class="lineNum"> 89</span> :<span class="tlaGNC"> 9 : int fdt_check_header(const void *fdt)</span></span> |
| <span id="L90"><span class="lineNum"> 90</span> : : {</span> |
| <span id="L91"><span class="lineNum"> 91</span> : : size_t hdrsize;</span> |
| <span id="L92"><span class="lineNum"> 92</span> : : </span> |
| <span id="L93"><span class="lineNum"> 93</span> : : /* The device tree must be at an 8-byte aligned address */</span> |
| <span id="L94"><span class="lineNum"> 94</span> :<span class="tlaGNC"> 9 : if ((uintptr_t)fdt & 7)</span></span> |
| <span id="L95"><span class="lineNum"> 95</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_ALIGNMENT;</span></span> |
| <span id="L96"><span class="lineNum"> 96</span> : : </span> |
| <span id="L97"><span class="lineNum"> 97</span> :<span class="tlaGNC tlaBgGNC"> 9 : if (fdt_magic(fdt) != FDT_MAGIC)</span></span> |
| <span id="L98"><span class="lineNum"> 98</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_BADMAGIC;</span></span> |
| <span id="L99"><span class="lineNum"> 99</span> :<span class="tlaGNC tlaBgGNC"> 9 : if (!can_assume(LATEST)) {</span></span> |
| <span id="L100"><span class="lineNum"> 100</span> :<span class="tlaGNC"> 9 : if ((fdt_version(fdt) < FDT_FIRST_SUPPORTED_VERSION)</span></span> |
| <span id="L101"><span class="lineNum"> 101</span> :<span class="tlaGNC"> 9 : || (fdt_last_comp_version(fdt) ></span></span> |
| <span id="L102"><span class="lineNum"> 102</span> : : FDT_LAST_SUPPORTED_VERSION))</span> |
| <span id="L103"><span class="lineNum"> 103</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_BADVERSION;</span></span> |
| <span id="L104"><span class="lineNum"> 104</span> :<span class="tlaGNC tlaBgGNC"> 9 : if (fdt_version(fdt) < fdt_last_comp_version(fdt))</span></span> |
| <span id="L105"><span class="lineNum"> 105</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_BADVERSION;</span></span> |
| <span id="L106"><span class="lineNum"> 106</span> : : }</span> |
| <span id="L107"><span class="lineNum"> 107</span> :<span class="tlaGNC tlaBgGNC"> 9 : hdrsize = fdt_header_size(fdt);</span></span> |
| <span id="L108"><span class="lineNum"> 108</span> :<span class="tlaGNC"> 9 : if (!can_assume(VALID_DTB)) {</span></span> |
| <span id="L109"><span class="lineNum"> 109</span> : : </span> |
| <span id="L110"><span class="lineNum"> 110</span> :<span class="tlaGNC"> 9 : if ((fdt_totalsize(fdt) < hdrsize)</span></span> |
| <span id="L111"><span class="lineNum"> 111</span> :<span class="tlaGNC"> 9 : || (fdt_totalsize(fdt) > INT_MAX))</span></span> |
| <span id="L112"><span class="lineNum"> 112</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_TRUNCATED;</span></span> |
| <span id="L113"><span class="lineNum"> 113</span> : : </span> |
| <span id="L114"><span class="lineNum"> 114</span> : : /* Bounds check memrsv block */</span> |
| <span id="L115"><span class="lineNum"> 115</span> :<span class="tlaGNC tlaBgGNC"> 9 : if (!check_off_(hdrsize, fdt_totalsize(fdt),</span></span> |
| <span id="L116"><span class="lineNum"> 116</span> : : fdt_off_mem_rsvmap(fdt)))</span> |
| <span id="L117"><span class="lineNum"> 117</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_TRUNCATED;</span></span> |
| <span id="L118"><span class="lineNum"> 118</span> : : }</span> |
| <span id="L119"><span class="lineNum"> 119</span> : : </span> |
| <span id="L120"><span class="lineNum"> 120</span> :<span class="tlaGNC tlaBgGNC"> 9 : if (!can_assume(VALID_DTB)) {</span></span> |
| <span id="L121"><span class="lineNum"> 121</span> : : /* Bounds check structure block */</span> |
| <span id="L122"><span class="lineNum"> 122</span> :<span class="tlaGNC"> 9 : if (!can_assume(LATEST) && fdt_version(fdt) < 17) {</span></span> |
| <span id="L123"><span class="lineNum"> 123</span> :<span class="tlaUNC tlaBgUNC"> 0 : if (!check_off_(hdrsize, fdt_totalsize(fdt),</span></span> |
| <span id="L124"><span class="lineNum"> 124</span> : : fdt_off_dt_struct(fdt)))</span> |
| <span id="L125"><span class="lineNum"> 125</span> :<span class="tlaUNC"> 0 : return -FDT_ERR_TRUNCATED;</span></span> |
| <span id="L126"><span class="lineNum"> 126</span> : : } else {</span> |
| <span id="L127"><span class="lineNum"> 127</span> :<span class="tlaGNC tlaBgGNC"> 9 : if (!check_block_(hdrsize, fdt_totalsize(fdt),</span></span> |
| <span id="L128"><span class="lineNum"> 128</span> : : fdt_off_dt_struct(fdt),</span> |
| <span id="L129"><span class="lineNum"> 129</span> : : fdt_size_dt_struct(fdt)))</span> |
| <span id="L130"><span class="lineNum"> 130</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_TRUNCATED;</span></span> |
| <span id="L131"><span class="lineNum"> 131</span> : : }</span> |
| <span id="L132"><span class="lineNum"> 132</span> : : </span> |
| <span id="L133"><span class="lineNum"> 133</span> : : /* Bounds check strings block */</span> |
| <span id="L134"><span class="lineNum"> 134</span> :<span class="tlaGNC tlaBgGNC"> 9 : if (!check_block_(hdrsize, fdt_totalsize(fdt),</span></span> |
| <span id="L135"><span class="lineNum"> 135</span> : : fdt_off_dt_strings(fdt),</span> |
| <span id="L136"><span class="lineNum"> 136</span> : : fdt_size_dt_strings(fdt)))</span> |
| <span id="L137"><span class="lineNum"> 137</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_TRUNCATED;</span></span> |
| <span id="L138"><span class="lineNum"> 138</span> : : }</span> |
| <span id="L139"><span class="lineNum"> 139</span> : : </span> |
| <span id="L140"><span class="lineNum"> 140</span> :<span class="tlaGNC tlaBgGNC"> 9 : return 0;</span></span> |
| <span id="L141"><span class="lineNum"> 141</span> : : }</span> |
| <span id="L142"><span class="lineNum"> 142</span> : : </span> |
| <span id="L143"><span class="lineNum"> 143</span> :<span class="tlaGNC"> 4860 : const void *fdt_offset_ptr(const void *fdt, int offset, unsigned int len)</span></span> |
| <span id="L144"><span class="lineNum"> 144</span> : : {</span> |
| <span id="L145"><span class="lineNum"> 145</span> :<span class="tlaGNC"> 4860 : unsigned int uoffset = offset;</span></span> |
| <span id="L146"><span class="lineNum"> 146</span> :<span class="tlaGNC"> 4860 : unsigned int absoffset = offset + fdt_off_dt_struct(fdt);</span></span> |
| <span id="L147"><span class="lineNum"> 147</span> : : </span> |
| <span id="L148"><span class="lineNum"> 148</span> :<span class="tlaGNC"> 4860 : if (offset < 0)</span></span> |
| <span id="L149"><span class="lineNum"> 149</span> :<span class="tlaUNC tlaBgUNC"> 0 : return NULL;</span></span> |
| <span id="L150"><span class="lineNum"> 150</span> : : </span> |
| <span id="L151"><span class="lineNum"> 151</span> :<span class="tlaGNC tlaBgGNC"> 4860 : if (!can_assume(VALID_INPUT))</span></span> |
| <span id="L152"><span class="lineNum"> 152</span> :<span class="tlaGNC"> 4860 : if ((absoffset < uoffset)</span></span> |
| <span id="L153"><span class="lineNum"> 153</span> :<span class="tlaGNC"> 4860 : || ((absoffset + len) < absoffset)</span></span> |
| <span id="L154"><span class="lineNum"> 154</span> :<span class="tlaGNC"> 4860 : || (absoffset + len) > fdt_totalsize(fdt))</span></span> |
| <span id="L155"><span class="lineNum"> 155</span> :<span class="tlaUNC tlaBgUNC"> 0 : return NULL;</span></span> |
| <span id="L156"><span class="lineNum"> 156</span> : : </span> |
| <span id="L157"><span class="lineNum"> 157</span> :<span class="tlaGNC tlaBgGNC"> 4860 : if (can_assume(LATEST) || fdt_version(fdt) >= 0x11)</span></span> |
| <span id="L158"><span class="lineNum"> 158</span> :<span class="tlaGNC"> 4860 : if (((uoffset + len) < uoffset)</span></span> |
| <span id="L159"><span class="lineNum"> 159</span> :<span class="tlaGNC"> 4860 : || ((offset + len) > fdt_size_dt_struct(fdt)))</span></span> |
| <span id="L160"><span class="lineNum"> 160</span> :<span class="tlaUNC tlaBgUNC"> 0 : return NULL;</span></span> |
| <span id="L161"><span class="lineNum"> 161</span> : : </span> |
| <span id="L162"><span class="lineNum"> 162</span> :<span class="tlaGNC tlaBgGNC"> 4860 : return fdt_offset_ptr_(fdt, offset);</span></span> |
| <span id="L163"><span class="lineNum"> 163</span> : : }</span> |
| <span id="L164"><span class="lineNum"> 164</span> : : </span> |
| <span id="L165"><span class="lineNum"> 165</span> :<span class="tlaGNC"> 1069 : uint32_t fdt_next_tag(const void *fdt, int startoffset, int *nextoffset)</span></span> |
| <span id="L166"><span class="lineNum"> 166</span> : : {</span> |
| <span id="L167"><span class="lineNum"> 167</span> : : const fdt32_t *tagp, *lenp;</span> |
| <span id="L168"><span class="lineNum"> 168</span> : : uint32_t tag;</span> |
| <span id="L169"><span class="lineNum"> 169</span> :<span class="tlaGNC"> 1069 : int offset = startoffset;</span></span> |
| <span id="L170"><span class="lineNum"> 170</span> : : const char *p;</span> |
| <span id="L171"><span class="lineNum"> 171</span> : : </span> |
| <span id="L172"><span class="lineNum"> 172</span> :<span class="tlaGNC"> 1069 : *nextoffset = -FDT_ERR_TRUNCATED;</span></span> |
| <span id="L173"><span class="lineNum"> 173</span> :<span class="tlaGNC"> 1069 : tagp = fdt_offset_ptr(fdt, offset, FDT_TAGSIZE);</span></span> |
| <span id="L174"><span class="lineNum"> 174</span> :<span class="tlaGNC"> 1069 : if (!can_assume(VALID_DTB) && !tagp)</span></span> |
| <span id="L175"><span class="lineNum"> 175</span> :<span class="tlaUNC tlaBgUNC"> 0 : return FDT_END; /* premature end */</span></span> |
| <span id="L176"><span class="lineNum"> 176</span> :<span class="tlaGNC tlaBgGNC"> 1069 : tag = fdt32_to_cpu(*tagp);</span></span> |
| <span id="L177"><span class="lineNum"> 177</span> :<span class="tlaGNC"> 1069 : offset += FDT_TAGSIZE;</span></span> |
| <span id="L178"><span class="lineNum"> 178</span> : : </span> |
| <span id="L179"><span class="lineNum"> 179</span> :<span class="tlaGNC"> 1069 : *nextoffset = -FDT_ERR_BADSTRUCTURE;</span></span> |
| <span id="L180"><span class="lineNum"> 180</span> :<span class="tlaGNC"> 1069 : switch (tag) {</span></span> |
| <span id="L181"><span class="lineNum"> 181</span> :<span class="tlaGNC"> 1844 : case FDT_BEGIN_NODE:</span></span> |
| <span id="L182"><span class="lineNum"> 182</span> : : /* skip name */</span> |
| <span id="L183"><span class="lineNum"> 183</span> : : do {</span> |
| <span id="L184"><span class="lineNum"> 184</span> :<span class="tlaGNC"> 1844 : p = fdt_offset_ptr(fdt, offset++, 1);</span></span> |
| <span id="L185"><span class="lineNum"> 185</span> :<span class="tlaGNC"> 1844 : } while (p && (*p != '\0'));</span></span> |
| <span id="L186"><span class="lineNum"> 186</span> :<span class="tlaGNC"> 102 : if (!can_assume(VALID_DTB) && !p)</span></span> |
| <span id="L187"><span class="lineNum"> 187</span> :<span class="tlaUNC tlaBgUNC"> 0 : return FDT_END; /* premature end */</span></span> |
| <span id="L188"><span class="lineNum"> 188</span> :<span class="tlaGNC tlaBgGNC"> 102 : break;</span></span> |
| <span id="L189"><span class="lineNum"> 189</span> : : </span> |
| <span id="L190"><span class="lineNum"> 190</span> :<span class="tlaGNC"> 878 : case FDT_PROP:</span></span> |
| <span id="L191"><span class="lineNum"> 191</span> :<span class="tlaGNC"> 878 : lenp = fdt_offset_ptr(fdt, offset, sizeof(*lenp));</span></span> |
| <span id="L192"><span class="lineNum"> 192</span> :<span class="tlaGNC"> 878 : if (!can_assume(VALID_DTB) && !lenp)</span></span> |
| <span id="L193"><span class="lineNum"> 193</span> :<span class="tlaUNC tlaBgUNC"> 0 : return FDT_END; /* premature end */</span></span> |
| <span id="L194"><span class="lineNum"> 194</span> : : /* skip-name offset, length and value */</span> |
| <span id="L195"><span class="lineNum"> 195</span> :<span class="tlaGNC tlaBgGNC"> 878 : offset += sizeof(struct fdt_property) - FDT_TAGSIZE</span></span> |
| <span id="L196"><span class="lineNum"> 196</span> :<span class="tlaGNC"> 878 : + fdt32_to_cpu(*lenp);</span></span> |
| <span id="L197"><span class="lineNum"> 197</span> :<span class="tlaGNC"> 1756 : if (!can_assume(LATEST) &&</span></span> |
| <span id="L198"><span class="lineNum"> 198</span> :<span class="tlaGNC"> 878 : fdt_version(fdt) < 0x10 && fdt32_to_cpu(*lenp) >= 8 &&</span></span> |
| <span id="L199"><span class="lineNum"> 199</span> :<span class="tlaUNC tlaBgUNC"> 0 : ((offset - fdt32_to_cpu(*lenp)) % 8) != 0)</span></span> |
| <span id="L200"><span class="lineNum"> 200</span> :<span class="tlaUNC"> 0 : offset += 4;</span></span> |
| <span id="L201"><span class="lineNum"> 201</span> :<span class="tlaGNC tlaBgGNC"> 878 : break;</span></span> |
| <span id="L202"><span class="lineNum"> 202</span> : : </span> |
| <span id="L203"><span class="lineNum"> 203</span> :<span class="tlaGNC"> 89 : case FDT_END:</span></span> |
| <span id="L204"><span class="lineNum"> 204</span> : : case FDT_END_NODE:</span> |
| <span id="L205"><span class="lineNum"> 205</span> : : case FDT_NOP:</span> |
| <span id="L206"><span class="lineNum"> 206</span> :<span class="tlaGNC"> 89 : break;</span></span> |
| <span id="L207"><span class="lineNum"> 207</span> : : </span> |
| <span id="L208"><span class="lineNum"> 208</span> :<span class="tlaUNC tlaBgUNC"> 0 : default:</span></span> |
| <span id="L209"><span class="lineNum"> 209</span> :<span class="tlaUNC"> 0 : return FDT_END;</span></span> |
| <span id="L210"><span class="lineNum"> 210</span> : : }</span> |
| <span id="L211"><span class="lineNum"> 211</span> : : </span> |
| <span id="L212"><span class="lineNum"> 212</span> :<span class="tlaGNC tlaBgGNC"> 1069 : if (!fdt_offset_ptr(fdt, startoffset, offset - startoffset))</span></span> |
| <span id="L213"><span class="lineNum"> 213</span> :<span class="tlaUNC tlaBgUNC"> 0 : return FDT_END; /* premature end */</span></span> |
| <span id="L214"><span class="lineNum"> 214</span> : : </span> |
| <span id="L215"><span class="lineNum"> 215</span> :<span class="tlaGNC tlaBgGNC"> 1069 : *nextoffset = FDT_TAGALIGN(offset);</span></span> |
| <span id="L216"><span class="lineNum"> 216</span> :<span class="tlaGNC"> 1069 : return tag;</span></span> |
| <span id="L217"><span class="lineNum"> 217</span> : : }</span> |
| <span id="L218"><span class="lineNum"> 218</span> : : </span> |
| <span id="L219"><span class="lineNum"> 219</span> :<span class="tlaGNC"> 15 : int fdt_check_node_offset_(const void *fdt, int offset)</span></span> |
| <span id="L220"><span class="lineNum"> 220</span> : : {</span> |
| <span id="L221"><span class="lineNum"> 221</span> :<span class="tlaGNC"> 15 : if (!can_assume(VALID_INPUT)</span></span> |
| <span id="L222"><span class="lineNum"> 222</span> :<span class="tlaGNC"> 15 : && ((offset < 0) || (offset % FDT_TAGSIZE)))</span></span> |
| <span id="L223"><span class="lineNum"> 223</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_BADOFFSET;</span></span> |
| <span id="L224"><span class="lineNum"> 224</span> : : </span> |
| <span id="L225"><span class="lineNum"> 225</span> :<span class="tlaGNC tlaBgGNC"> 15 : if (fdt_next_tag(fdt, offset, &offset) != FDT_BEGIN_NODE)</span></span> |
| <span id="L226"><span class="lineNum"> 226</span> :<span class="tlaUNC tlaBgUNC"> 0 : return -FDT_ERR_BADOFFSET;</span></span> |
| <span id="L227"><span class="lineNum"> 227</span> : : </span> |
| <span id="L228"><span class="lineNum"> 228</span> :<span class="tlaGNC tlaBgGNC"> 15 : return offset;</span></span> |
| <span id="L229"><span class="lineNum"> 229</span> : : }</span> |
| <span id="L230"><span class="lineNum"> 230</span> : : </span> |
| <span id="L231"><span class="lineNum"> 231</span> :<span class="tlaUNC tlaBgUNC"> 0 : int fdt_check_prop_offset_(const void *fdt, int offset)</span></span> |
| <span id="L232"><span class="lineNum"> 232</span> : : {</span> |
| <span id="L233"><span class="lineNum"> 233</span> :<span class="tlaUNC"> 0 : if (!can_assume(VALID_INPUT)</span></span> |
| <span id="L234"><span class="lineNum"> 234</span> :<span class="tlaUNC"> 0 : && ((offset < 0) || (offset % FDT_TAGSIZE)))</span></span> |
| <span id="L235"><span class="lineNum"> 235</span> :<span class="tlaUNC"> 0 : return -FDT_ERR_BADOFFSET;</span></span> |
| <span id="L236"><span class="lineNum"> 236</span> : : </span> |
| <span id="L237"><span class="lineNum"> 237</span> :<span class="tlaUNC"> 0 : if (fdt_next_tag(fdt, offset, &offset) != FDT_PROP)</span></span> |
| <span id="L238"><span class="lineNum"> 238</span> :<span class="tlaUNC"> 0 : return -FDT_ERR_BADOFFSET;</span></span> |
| <span id="L239"><span class="lineNum"> 239</span> : : </span> |
| <span id="L240"><span class="lineNum"> 240</span> :<span class="tlaUNC"> 0 : return offset;</span></span> |
| <span id="L241"><span class="lineNum"> 241</span> : : }</span> |
| <span id="L242"><span class="lineNum"> 242</span> : : </span> |
| <span id="L243"><span class="lineNum"> 243</span> :<span class="tlaUNC"> 0 : int fdt_next_node(const void *fdt, int offset, int *depth)</span></span> |
| <span id="L244"><span class="lineNum"> 244</span> : : {</span> |
| <span id="L245"><span class="lineNum"> 245</span> :<span class="tlaUNC"> 0 : int nextoffset = 0;</span></span> |
| <span id="L246"><span class="lineNum"> 246</span> : : uint32_t tag;</span> |
| <span id="L247"><span class="lineNum"> 247</span> : : </span> |
| <span id="L248"><span class="lineNum"> 248</span> :<span class="tlaUNC"> 0 : if (offset >= 0)</span></span> |
| <span id="L249"><span class="lineNum"> 249</span> :<span class="tlaUNC"> 0 : if ((nextoffset = fdt_check_node_offset_(fdt, offset)) < 0)</span></span> |
| <span id="L250"><span class="lineNum"> 250</span> :<span class="tlaUNC"> 0 : return nextoffset;</span></span> |
| <span id="L251"><span class="lineNum"> 251</span> : : </span> |
| <span id="L252"><span class="lineNum"> 252</span> : : do {</span> |
| <span id="L253"><span class="lineNum"> 253</span> :<span class="tlaUNC"> 0 : offset = nextoffset;</span></span> |
| <span id="L254"><span class="lineNum"> 254</span> :<span class="tlaUNC"> 0 : tag = fdt_next_tag(fdt, offset, &nextoffset);</span></span> |
| <span id="L255"><span class="lineNum"> 255</span> : : </span> |
| <span id="L256"><span class="lineNum"> 256</span> :<span class="tlaUNC"> 0 : switch (tag) {</span></span> |
| <span id="L257"><span class="lineNum"> 257</span> :<span class="tlaUNC"> 0 : case FDT_PROP:</span></span> |
| <span id="L258"><span class="lineNum"> 258</span> : : case FDT_NOP:</span> |
| <span id="L259"><span class="lineNum"> 259</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L260"><span class="lineNum"> 260</span> : : </span> |
| <span id="L261"><span class="lineNum"> 261</span> :<span class="tlaUNC"> 0 : case FDT_BEGIN_NODE:</span></span> |
| <span id="L262"><span class="lineNum"> 262</span> :<span class="tlaUNC"> 0 : if (depth)</span></span> |
| <span id="L263"><span class="lineNum"> 263</span> :<span class="tlaUNC"> 0 : (*depth)++;</span></span> |
| <span id="L264"><span class="lineNum"> 264</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L265"><span class="lineNum"> 265</span> : : </span> |
| <span id="L266"><span class="lineNum"> 266</span> :<span class="tlaUNC"> 0 : case FDT_END_NODE:</span></span> |
| <span id="L267"><span class="lineNum"> 267</span> :<span class="tlaUNC"> 0 : if (depth && ((--(*depth)) < 0))</span></span> |
| <span id="L268"><span class="lineNum"> 268</span> :<span class="tlaUNC"> 0 : return nextoffset;</span></span> |
| <span id="L269"><span class="lineNum"> 269</span> :<span class="tlaUNC"> 0 : break;</span></span> |
| <span id="L270"><span class="lineNum"> 270</span> : : </span> |
| <span id="L271"><span class="lineNum"> 271</span> :<span class="tlaUNC"> 0 : case FDT_END:</span></span> |
| <span id="L272"><span class="lineNum"> 272</span> :<span class="tlaUNC"> 0 : if ((nextoffset >= 0)</span></span> |
| <span id="L273"><span class="lineNum"> 273</span> :<span class="tlaUNC"> 0 : || ((nextoffset == -FDT_ERR_TRUNCATED) && !depth))</span></span> |
| <span id="L274"><span class="lineNum"> 274</span> :<span class="tlaUNC"> 0 : return -FDT_ERR_NOTFOUND;</span></span> |
| <span id="L275"><span class="lineNum"> 275</span> : : else</span> |
| <span id="L276"><span class="lineNum"> 276</span> :<span class="tlaUNC"> 0 : return nextoffset;</span></span> |
| <span id="L277"><span class="lineNum"> 277</span> : : }</span> |
| <span id="L278"><span class="lineNum"> 278</span> :<span class="tlaUNC"> 0 : } while (tag != FDT_BEGIN_NODE);</span></span> |
| <span id="L279"><span class="lineNum"> 279</span> : : </span> |
| <span id="L280"><span class="lineNum"> 280</span> :<span class="tlaUNC"> 0 : return offset;</span></span> |
| <span id="L281"><span class="lineNum"> 281</span> : : }</span> |
| <span id="L282"><span class="lineNum"> 282</span> : : </span> |
| <span id="L283"><span class="lineNum"> 283</span> :<span class="tlaUNC"> 0 : int fdt_first_subnode(const void *fdt, int offset)</span></span> |
| <span id="L284"><span class="lineNum"> 284</span> : : {</span> |
| <span id="L285"><span class="lineNum"> 285</span> :<span class="tlaUNC"> 0 : int depth = 0;</span></span> |
| <span id="L286"><span class="lineNum"> 286</span> : : </span> |
| <span id="L287"><span class="lineNum"> 287</span> :<span class="tlaUNC"> 0 : offset = fdt_next_node(fdt, offset, &depth);</span></span> |
| <span id="L288"><span class="lineNum"> 288</span> :<span class="tlaUNC"> 0 : if (offset < 0 || depth != 1)</span></span> |
| <span id="L289"><span class="lineNum"> 289</span> :<span class="tlaUNC"> 0 : return -FDT_ERR_NOTFOUND;</span></span> |
| <span id="L290"><span class="lineNum"> 290</span> : : </span> |
| <span id="L291"><span class="lineNum"> 291</span> :<span class="tlaUNC"> 0 : return offset;</span></span> |
| <span id="L292"><span class="lineNum"> 292</span> : : }</span> |
| <span id="L293"><span class="lineNum"> 293</span> : : </span> |
| <span id="L294"><span class="lineNum"> 294</span> :<span class="tlaUNC"> 0 : int fdt_next_subnode(const void *fdt, int offset)</span></span> |
| <span id="L295"><span class="lineNum"> 295</span> : : {</span> |
| <span id="L296"><span class="lineNum"> 296</span> :<span class="tlaUNC"> 0 : int depth = 1;</span></span> |
| <span id="L297"><span class="lineNum"> 297</span> : : </span> |
| <span id="L298"><span class="lineNum"> 298</span> : : /*</span> |
| <span id="L299"><span class="lineNum"> 299</span> : : * With respect to the parent, the depth of the next subnode will be</span> |
| <span id="L300"><span class="lineNum"> 300</span> : : * the same as the last.</span> |
| <span id="L301"><span class="lineNum"> 301</span> : : */</span> |
| <span id="L302"><span class="lineNum"> 302</span> : : do {</span> |
| <span id="L303"><span class="lineNum"> 303</span> :<span class="tlaUNC"> 0 : offset = fdt_next_node(fdt, offset, &depth);</span></span> |
| <span id="L304"><span class="lineNum"> 304</span> :<span class="tlaUNC"> 0 : if (offset < 0 || depth < 1)</span></span> |
| <span id="L305"><span class="lineNum"> 305</span> :<span class="tlaUNC"> 0 : return -FDT_ERR_NOTFOUND;</span></span> |
| <span id="L306"><span class="lineNum"> 306</span> :<span class="tlaUNC"> 0 : } while (depth > 1);</span></span> |
| <span id="L307"><span class="lineNum"> 307</span> : : </span> |
| <span id="L308"><span class="lineNum"> 308</span> :<span class="tlaUNC"> 0 : return offset;</span></span> |
| <span id="L309"><span class="lineNum"> 309</span> : : }</span> |
| <span id="L310"><span class="lineNum"> 310</span> : : </span> |
| <span id="L311"><span class="lineNum"> 311</span> :<span class="tlaGNC tlaBgGNC"> 846 : const char *fdt_find_string_(const char *strtab, int tabsize, const char *s)</span></span> |
| <span id="L312"><span class="lineNum"> 312</span> : : {</span> |
| <span id="L313"><span class="lineNum"> 313</span> :<span class="tlaGNC"> 846 : int len = strlen(s) + 1;</span></span> |
| <span id="L314"><span class="lineNum"> 314</span> :<span class="tlaGNC"> 846 : const char *last = strtab + tabsize - len;</span></span> |
| <span id="L315"><span class="lineNum"> 315</span> : : const char *p;</span> |
| <span id="L316"><span class="lineNum"> 316</span> : : </span> |
| <span id="L317"><span class="lineNum"> 317</span> :<span class="tlaGNC"> 420392 : for (p = strtab; p <= last; p++)</span></span> |
| <span id="L318"><span class="lineNum"> 318</span> :<span class="tlaGNC"> 420293 : if (memcmp(p, s, len) == 0)</span></span> |
| <span id="L319"><span class="lineNum"> 319</span> :<span class="tlaGNC"> 747 : return p;</span></span> |
| <span id="L320"><span class="lineNum"> 320</span> :<span class="tlaGNC"> 99 : return NULL;</span></span> |
| <span id="L321"><span class="lineNum"> 321</span> : : }</span> |
| <span id="L322"><span class="lineNum"> 322</span> : : </span> |
| <span id="L323"><span class="lineNum"> 323</span> :<span class="tlaUNC tlaBgUNC"> 0 : int fdt_move(const void *fdt, void *buf, int bufsize)</span></span> |
| <span id="L324"><span class="lineNum"> 324</span> : : {</span> |
| <span id="L325"><span class="lineNum"> 325</span> :<span class="tlaUNC"> 0 : if (!can_assume(VALID_INPUT) && bufsize < 0)</span></span> |
| <span id="L326"><span class="lineNum"> 326</span> :<span class="tlaUNC"> 0 : return -FDT_ERR_NOSPACE;</span></span> |
| <span id="L327"><span class="lineNum"> 327</span> : : </span> |
| <span id="L328"><span class="lineNum"> 328</span> :<span class="tlaUNC"> 0 : FDT_RO_PROBE(fdt);</span></span> |
| <span id="L329"><span class="lineNum"> 329</span> : : </span> |
| <span id="L330"><span class="lineNum"> 330</span> :<span class="tlaUNC"> 0 : if (fdt_totalsize(fdt) > (unsigned int)bufsize)</span></span> |
| <span id="L331"><span class="lineNum"> 331</span> :<span class="tlaUNC"> 0 : return -FDT_ERR_NOSPACE;</span></span> |
| <span id="L332"><span class="lineNum"> 332</span> : : </span> |
| <span id="L333"><span class="lineNum"> 333</span> :<span class="tlaUNC"> 0 : memmove(buf, fdt, fdt_totalsize(fdt));</span></span> |
| <span id="L334"><span class="lineNum"> 334</span> :<span class="tlaUNC"> 0 : return 0;</span></span> |
| <span id="L335"><span class="lineNum"> 335</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> |
