Rev 3170 | Rev 3400 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3170 | Rev 3210 | ||
---|---|---|---|
Line 48... | Line 48... | ||
48 | #include <align.h> |
48 | #include <align.h> |
49 | #include <assert.h> |
49 | #include <assert.h> |
50 | #include <as.h> |
50 | #include <as.h> |
51 | #include <unistd.h> |
51 | #include <unistd.h> |
52 | #include <fcntl.h> |
52 | #include <fcntl.h> |
- | 53 | #include <smc.h> |
|
53 | #include <loader/pcb.h> |
54 | #include <loader/pcb.h> |
54 | 55 | ||
55 | #include "elf.h" |
56 | #include "elf.h" |
56 | #include "elf_load.h" |
57 | #include "elf_load.h" |
57 | #include "arch.h" |
58 | #include "arch.h" |
Line 401... | Line 402... | ||
401 | if (rc != 0) { |
402 | if (rc != 0) { |
402 | printf("failed to set memory area flags\n"); |
403 | printf("failed to set memory area flags\n"); |
403 | return EE_MEMORY; |
404 | return EE_MEMORY; |
404 | } |
405 | } |
405 | 406 | ||
- | 407 | if (flags & AS_AREA_EXEC) { |
|
- | 408 | /* Enforce SMC coherence for the segment */ |
|
- | 409 | if (smc_coherence(entry->p_vaddr + bias, entry->p_filesz)) |
|
- | 410 | return EE_MEMORY; |
|
- | 411 | } |
|
- | 412 | ||
406 | return EE_OK; |
413 | return EE_OK; |
407 | } |
414 | } |
408 | 415 | ||
409 | /** Process section header. |
416 | /** Process section header. |
410 | * |
417 | * |