Searched refs:lppgdr (Results 1 – 2 of 2) sorted by relevance

/optee_os-3.20.0/core/drivers/
A D	ls_sec_mon.c	67 uint32_t lppgdr; /* 0x064 */ member 140 data->lppgdr = io_read32((vaddr_t)&sec_mon_regs->lppgdr); in ls_sec_mon_read()
/optee_os-3.20.0/core/include/drivers/
A D	ls_sec_mon.h	55 uint32_t lppgdr; member

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023