KernelInterface @ IA32

Geoffrey Lee glee at
Wed Jun 16 17:38:49 CEST 2004

On Wed, Jun 16, 2004 at 11:05:41PM +0800, Louis wrote:
> Hi L4 hackers,
> 	I'm a newbie in L4 and reading L4 X.2 spec. In IA32 interface,
> KernelInterface is implemented by 'lock: nop'.  That really confuses me. Is
> it not just a placeholder? Any special side-effect? I can not find any clue
> in IA32 manuals.

lock nop is not a valid instruction.  Doing it will cause a trap 
(and that is how you get the interface page).

So it is not a placeholder.

	- g.
char p[] = "\xeb\x1f\x5e\x89\x76\x08\x31\xc0\x88\x46\x07\x89\x46\x0c\xb0\x0b"

More information about the l4-hackers mailing list