TODO: Decide whether this should be moved to machine to avoid duplication or kept aside as a visualization concern */

* @return framebuffer height in pixels */

* Creates cache_config objects from all combinations of the above given * parameters. */

* @return framebuffer width in pixels */

Check whether given value fits into this instruction field. */

The top two bits (csr[11:10]) indicate whether the register is read/write * (00, 01, or 10) or read-only (11). */

the arc handling code underneath is from XSVG (BSD license) * Copyright 2002 USC/Information Sciences Institute * * Permission to use, copy, modify