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.