HelenOS sources

pte_t             147 kernel/arch/abs32le/include/arch/mm/page.h } __attribute__((packed)) pte_t;
pte_t             201 kernel/arch/amd64/include/arch/mm/page.h } __attribute__((packed)) pte_t;
pte_t              99 kernel/arch/arm32/include/arch/mm/page_armv4.h } pte_t;
pte_t              94 kernel/arch/arm32/include/arch/mm/page_armv6.h } pte_t;
pte_t             287 kernel/arch/arm64/include/arch/mm/page.h } __attribute__((packed)) pte_t;
pte_t             180 kernel/arch/ia32/include/arch/mm/page.h } __attribute__((packed)) pte_t;
pte_t             163 kernel/arch/mips32/include/arch/mm/page.h } pte_t;
pte_t             162 kernel/arch/ppc32/include/arch/mm/page.h } pte_t;
pte_t             179 kernel/arch/riscv64/include/arch/mm/page.h } pte_t;
pte_t              60 kernel/genarch/include/genarch/mm/as_ht.h } pte_t;