]> xenbits.xensource.com Git - people/liuw/libxenctrl-split/mini-os.git/commit
projects / people / liuw / libxenctrl-split / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72aada8) | patch
mini-os: moved __pte to x86
authorThomas Leonard <talex5@gmail.com>
Thu, 26 Jun 2014 11:28:30 +0000 (12:28 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 27 Jun 2014 13:13:20 +0000 (14:13 +0100)
commit0f6413239cab88aed65b5483c5abf7572be0ef4e
treeeb7744ebbc1fa956485d1dcbcae7612dc06be3c6tree
parent72aada88d19b9d6a3151ad4b81d0014ddd1b6681commit | diff
mini-os: moved __pte to x86

We don't need to define this on ARM. Suggested by Julien Grall.

Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
include/types.h diff | blob | blame | history
include/x86/x86_32/hypercall-x86_32.h diff | blob | blame | history
include/x86/x86_64/hypercall-x86_64.h diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.