Home
last modified time | relevance | path

Searched refs:init_sanitized_page (Results 1 – 3 of 3) sorted by relevance

/hypervisor/include/arch/x86/asm/
A Dpgtable.h539 void init_sanitized_page(uint64_t *sanitized_page, uint64_t hpa);
/hypervisor/arch/x86/
A Dmmu.c263 init_sanitized_page((uint64_t *)sanitized_page, hva2hpa_early(sanitized_page)); in init_paging()
A Dpagetable.c72 void init_sanitized_page(uint64_t *sanitized_page, uint64_t hpa) in init_sanitized_page() function

Completed in 6 milliseconds