Are you sure you want to delete the file common.h?
| Name | Size | Permission | Action |
|---|---|---|---|
| common.h | 504 bytes | 0644 | |
| exceptions.h | 1451 bytes | 0644 | |
| fpu.h | 2043 bytes | 0644 | |
| hyperv.h | 2149 bytes | 0644 | |
| irq_vectors.h | 9427 bytes | 0644 | |
| mpx.h | 2987 bytes | 0644 |
Are you sure you want to delete the file common.h?
| Name | Size | Permission | Action |
|---|---|---|---|
| common.h | 504 bytes | 0644 | |
| exceptions.h | 1451 bytes | 0644 | |
| fpu.h | 2043 bytes | 0644 | |
| hyperv.h | 2149 bytes | 0644 | |
| irq_vectors.h | 9427 bytes | 0644 | |
| mpx.h | 2987 bytes | 0644 |