diff options
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | 2018-04-10 13:17:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-10 13:17:16 +0100 |
commit | 0841d10095dab2cb7c2d5ef61394839122686f5c (patch) | |
tree | a1b88c9085fd5fee0adadbe294415ac3f3c0f4b1 /lib/stdlib/subr_prf.c | |
parent | bc2910c19d9353218be0732702d90d9e33d60e85 (diff) | |
parent | 0ed322329339a30c6bbd81ba784bb54966e4bd6c (diff) |
Merge pull request #1341 from vwadekar/improve-mmap-efficiency
lib: xlat_tables_v2: reduce time required to add a mmap region
Diffstat (limited to 'lib/stdlib/subr_prf.c')
0 files changed, 0 insertions, 0 deletions