/drivers/firmware/efi/stmm/

• ../
• mm_communication.h
• tee_stmm_efi.c