orm-bookmarks-row" data-toggle-list="data-toggle-list"><button class="platform-bookmark" data-filterable-current=":/linuxArm64Main" data-filterable-set=":/linuxArm64Main" data-active="" data-toggle=":/linuxArm64Main">linuxArm64</button></div>
<div class="content sourceset-dependent-content" data-active="" data-togglable=":/linuxArm64Main"><div class="symbol monospace"><span class="token keyword">fun </span><a href="linux-arm64-fn.html"><span class="token function">linuxArm64Fn</span></a><span class="token p