Symbol: pt_entry_t
headers/private/kernel/arch/arm64/arch_pte.h
38
typedef uint64_t pt_entry_t; /* page table entry */
src/tests/add-ons/kernel/drivers/nvmm/haiku_defs.h
28
typedef uint64_t pt_entry_t;