HomeSort by: relevance | last modified time | path
    Searched defs:aarch64_exec_kernel (Results 1 - 1 of 1) sorted by relevancy

  /src/sys/stand/efiboot/bootaa64/
cache.S 104 * void aarch64_exec_kernel(paddr_t entry, paddr_t dtb)
106 ENTRY(aarch64_exec_kernel) function
138 END(aarch64_exec_kernel)

Completed in 13 milliseconds