Searched refs:trampoline_start16_paddr (Results 1 – 1 of 1) sorted by relevance
15 static uint64_t trampoline_start16_paddr; variable34 uint64_t *hva = (uint64_t *)(hpa2hva(trampoline_start16_paddr) + trampoline_relo_addr(sym)); in read_trampoline_sym()40 uint64_t *hva = (uint64_t *)(hpa2hva(trampoline_start16_paddr) + trampoline_relo_addr(sym)); in write_trampoline_sym()48 hva = (uint64_t *)(hpa2hva(trampoline_start16_paddr) + trampoline_relo_addr(secondary_cpu_stack)); in write_trampoline_stack_sym()59 return trampoline_start16_paddr; in get_trampoline_start16_paddr()125 trampoline_start16_paddr = trampoline_pa; in prepare_trampoline()
Completed in 5 milliseconds