Searched refs:paddr_start (Results 1 – 1 of 1) sorted by relevance
384 static void add_pte(const uint64_t *pde, uint64_t paddr_start, uint64_t vaddr_start, uint64_t vaddr… in add_pte() argument389 uint64_t paddr = paddr_start; in add_pte()415 static void add_pde(const uint64_t *pdpte, uint64_t paddr_start, uint64_t vaddr_start, uint64_t vad… in add_pde() argument420 uint64_t paddr = paddr_start; in add_pde()465 static void add_pdpte(const uint64_t *pml4e, uint64_t paddr_start, uint64_t vaddr_start, uint64_t v… in add_pdpte() argument470 uint64_t paddr = paddr_start; in add_pdpte()
Completed in 5 milliseconds