Adrian Danis ee96314840 x64: Declare virtual addresses as 48-bits instead of 49-bits ... In f6d367e8df virtual addresses were changed from 48 bits to 49 bits, but this does not seem necessary and the commit does not have enough detail to justify the change. As such it is being changed back to 48 bits in this commit, which is far less confusing and results on the bitfield generated functions switching on bit 47 to determine sign extension (instead of bit 48), which matches what the hardware description says should be done.		2017-12-19 16:13:08 +11:00
..
cap.h	Fix licenses (the rest)	2017-06-22 15:29:12 +10:00
cnode.h	Remove recycle	2016-11-18 14:10:01 +11:00
endpoint.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
interrupt.h	x86: IOAPIC/MSI syscalls	2016-02-02 15:58:18 +11:00
notification.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
objecttype.h	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
structures.h	Declare and check IPC buffer size	2017-10-27 16:12:18 +11:00
structures_32.bf	Move cnode_capdata to libsel4 shared types bitfield	2017-10-27 12:14:44 +11:00
structures_64.bf	x64: Declare virtual addresses as 48-bits instead of 49-bits	2017-12-19 16:13:08 +11:00
tcb.h	SMP: Introduce ENABLE_SMP_SUPPORT	2017-06-29 16:23:39 +10:00
untyped.h	SELFOUR-444: Preemptible zeroing for retype.	2016-11-01 17:05:36 +11:00