| .. |
| hvm | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| io | xen: sync xs_wire.h header with upstream xen | 4 years ago |
| callback.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| elfnote.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| event_channel.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| features.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| grant_table.h | xen: update grant_table.h | 4 years ago |
| memory.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| nmi.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| physdev.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| platform.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| sched.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| vcpu.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| version.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| xen-mca.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |
| xen.h | xen/x86: obtain upper 32 bits of video frame buffer address for Dom0 | 4 years ago |
| xenpmu.h | xen: fix wrong SPDX headers of Xen related headers | 5 years ago |