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

  /src/sys/stand/efiboot/bootriscv64/
efibootriscv64.c 57 register_t hart_id; /* a0 */ local in function:efi_boot_kernel
62 hart_id = efi_fdt_get_boot_hartid();
67 entry_fn(hart_id, fdt_start);
efibootriscv64.c 57 register_t hart_id; /* a0 */ local in function:efi_boot_kernel
62 hart_id = efi_fdt_get_boot_hartid();
67 entry_fn(hart_id, fdt_start);

Completed in 21 milliseconds