Searched defs:VADDR_TO_PTE (Results 1 - 1 of 1) sorted by relevance

/haiku/src/system/kernel/arch/x86/paging/64bit/
H A Dpaging.h91 #define VADDR_TO_PTE(va) (((va) % k64BitPageTableRange) / B_PAGE_SIZE) macro

Completed in 19 milliseconds