No definitions found in the database

Referenced in 2 files:

• osfmk/arm64/proc_reg.h, line 2459
• osfmk/arm64/tlb.h, line 364