diff options
| author | Robert Norton | 2016-05-19 14:25:04 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-19 14:25:11 +0100 |
| commit | bf1c1d510e6051e4ab3140452a7f5697e09f4a81 (patch) | |
| tree | d335245c284e25c2b877e4f1adeff9cb1a656713 /src/util.mli | |
| parent | a73404e8655d2b3e07d34a5649f853f8568a5921 (diff) | |
correctly report TLB size and type in config reg.
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions