Searched defs:pte (Results 1 – 1 of 1) sorted by relevance
191 static inline unsigned int table_index(uint64_t *pte) in table_index()256 static void debug_show_pte(uint64_t *pte, unsigned int level) in debug_show_pte()291 static inline void debug_show_pte(uint64_t *pte, unsigned int level) { } in debug_show_pte()294 static void set_pte_table_desc(uint64_t *pte, uint64_t *table, unsigned int level) in set_pte_table_desc()301 static void set_pte_block_desc(uint64_t *pte, uint64_t desc, unsigned int level) in set_pte_block_desc()310 static uint64_t *expand_to_table(uint64_t *pte, unsigned int level) in expand_to_table()361 uint64_t *pte, *ptes[XLAT_LAST_LEVEL + 1]; in set_mapping() local
