Open humenda opened 1 year ago
The registers struct in l4::utcb currently holds both the current position, as well as the base ptr of the registers. The base ptr can be efficiently read from a register and hence the struct field is superfluous.
The registers struct in l4::utcb currently holds both the current position, as well as the base ptr of the registers. The base ptr can be efficiently read from a register and hence the struct field is superfluous.