Home
last modified time | relevance | path

Searched defs:pd_index (Results 1 – 2 of 2) sorted by relevance

/aosp_15_r20/external/trusty/lk/arch/x86/32/
Dmmu.c82 uint32_t pd_index; in get_pd_entry_from_pd_table() local
296 uint32_t pd_index; in update_pd_entry() local
/aosp_15_r20/external/trusty/lk/arch/x86/64/
Dmmu.c163 uint32_t pd_index; in get_pd_entry_from_pd_table() local
401 uint32_t pd_index; in update_pd_entry() local