HomeSort by: relevance | last modified time | path
    Searched defs:aarch64_exec_kernel (Results 1 - 2 of 2) 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)
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 21 milliseconds