1,359
edits
Changes
Jump to navigation
Jump to search
Line 178:
Line 178: − + − + − + − + − +
→Kernel Access Control
| <code>0bxxxxxxxxxxxx0111</code>
| <code>0bxxxxxxxxxxxx0111</code>
| Kernel flags
| Kernel flags
| Bit31-24: ?, bit23-16: ?, bit15-10: ?, bit9-4: ?
| Bit31-24: Highest allowed cpu id, bit23-16: Lowest allowed cpu id, bit15-10: Highest allowed thread prio, bit9-4: Lowest allowed thread prio
|-
|-
| <code>0bxxxxxxxxxxx01111</code>
| <code>0bxxxxxxxxxxx01111</code>
| Syscall mask
| Syscall mask
| Bits 29-31: Syscall mask table index; Bits 5-28: mask
| Bits 29-31: Syscall mask table index; Bits 5-28: Mask
|-
|-
| <code>0bxxxxxxxxx0111111</code>
| <code>0bxxxxxxxxx0111111</code>
| Map IO page (RW)
| Map IO page (RW)
| Bits 7-31: page
| Bits 7-31: Page
|-
|-
| <code>0bxxxxxxxx01111111</code>
| <code>0bxxxxxxxx01111111</code>
| Map IO range
| Map IO range
| Bits 7-30: alternating start page and number of pages, bit31: alternating read-only flag then MemoryAttribute 0x2001/0x42002 selector flag
| Bits 7-30: Alternating start page and number of pages, bit31: Alternating read-only flag then MemoryAttribute 0x2001/0x42002 selector flag
|-
|-
| <code>0bxxxx011111111111</code>
| <code>0bxxxx011111111111</code>
| Interrupt pair
| Interrupt pair
| Bits 12-21: irq0, bits 20-31: irq1, 0x3FF means empty.
| Bits 12-21: Irq0, bits 20-31: Irq1, 0x3FF means empty.
|-
|-
| <code>0xxxx0111111111111</code>
| <code>0xxxx0111111111111</code>