diff options
author | Luca Dariz <luca@orpolo.org> | 2022-04-03 16:59:55 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-08-27 22:19:18 +0200 |
commit | 3e1702a65fb3caf50c8d09a1b383b0056a5efc82 (patch) | |
tree | a4f687afd3a455bd664daeddf947492fabd16745 /kern/printf.c | |
parent | e2f1d502a5a5ab6a8885cc518ed254c79f7ab27c (diff) | |
download | gnumach-3e1702a65fb3caf50c8d09a1b383b0056a5efc82.tar.gz gnumach-3e1702a65fb3caf50c8d09a1b383b0056a5efc82.tar.bz2 gnumach-3e1702a65fb3caf50c8d09a1b383b0056a5efc82.zip |
add rpc_versions for vm types
* vm_types.h: add new types and conversion functions
* mach_types.defs: adapt vm types depending on kernel user/server
* vm_info.h: adapt rpc structure to have uniformly-sized members also
on 64-bit
* x86_64/configfrag.c: add new option to select the user-space variant.
Note that with this change the user-space interface is somehow fixed,
i.e. it can't support 32-bit and 64-bit tasks at the same time.
If this would be needed at some point, this change needs to be reworked.
Signed-off-by: Luca Dariz <luca@orpolo.org>
Message-Id: <20220403145955.120742-3-luca@orpolo.org>
Diffstat (limited to 'kern/printf.c')
0 files changed, 0 insertions, 0 deletions