Merge pull request #1659 from vwadekar/sdei-fix-compilation

sdei: include "context.h" to fix compilation errors
This commit is contained in:
Antonio Niño Díaz 2018-10-31 15:31:32 +01:00 committed by GitHub
commit c54763866a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -8,6 +8,7 @@
#define SDEI_PRIVATE_H
#include <arch_helpers.h>
#include <context.h>
#include <context_mgmt.h>
#include <debug.h>
#include <errno.h>