Skip to content

feat(Isla): Support TTBR page-table helper - #198

Closed
febyeji wants to merge 1 commit into
feature/pgt-dsl-table-referencesfrom
feature/pgt-dsl-ttbr-functions
Closed

febyeji wants to merge 1 commit into
feature/pgt-dsl-table-referencesfrom
feature/pgt-dsl-ttbr-functions

Conversation

@febyeji

@febyeji febyeji commented Jul 4, 2026

Copy link
Copy Markdown
Collaborator
  • Add ttbr(asid=..., base=...) and ttbr(vmid=..., base=...) to pack ASID/VMID bits into TTBR values.
  • Cover the helper in the Alias+VM parser and converter expectations.

@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from 4648a66 to b30fe50 Compare July 4, 2026 09:50
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch 4 times, most recently from 009e410 to 5175f17 Compare July 4, 2026 11:41
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from b30fe50 to 378d596 Compare July 4, 2026 11:41
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 5175f17 to 907e9f5 Compare July 4, 2026 12:07
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from 378d596 to 1adb722 Compare July 4, 2026 12:07
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 907e9f5 to 7f90e73 Compare July 4, 2026 14:01
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch 2 times, most recently from 8f0eefa to f20ad2b Compare July 4, 2026 14:27
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 7f90e73 to 63a30c0 Compare July 4, 2026 14:27
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from f20ad2b to a518202 Compare July 4, 2026 15:19
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 63a30c0 to 4838dd3 Compare July 4, 2026 15:19
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from a518202 to bd2ad25 Compare July 4, 2026 15:34
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch 2 times, most recently from 59cef7d to 5fd7af0 Compare July 4, 2026 16:44
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from bd2ad25 to 933dd59 Compare July 4, 2026 16:44
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 5fd7af0 to 34e5977 Compare July 4, 2026 16:50
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch 2 times, most recently from 9506b2d to bc59774 Compare July 4, 2026 16:54
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 34e5977 to d0d13d4 Compare July 4, 2026 16:54
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from bc59774 to 98977d5 Compare July 4, 2026 17:02
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch 2 times, most recently from 30d3c2c to e1178ed Compare July 4, 2026 17:05
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch 2 times, most recently from 0a70f9d to fdc0386 Compare July 4, 2026 17:09
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from e1178ed to e2d5183 Compare July 4, 2026 17:09
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from fdc0386 to cd405ae Compare July 5, 2026 10:51
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from e2d5183 to 6b0073c Compare July 5, 2026 10:51
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from cd405ae to 362121a Compare July 5, 2026 10:58
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 6b0073c to 79af934 Compare July 5, 2026 10:58
@febyeji
febyeji marked this pull request as draft July 5, 2026 15:15
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from 362121a to ffbefee Compare July 17, 2026 22:19
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 79af934 to 914e8a1 Compare July 17, 2026 22:28
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from ffbefee to c2b7cb7 Compare July 17, 2026 23:47
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 914e8a1 to a7cd2e4 Compare July 17, 2026 23:48
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from c2b7cb7 to 770928e Compare July 17, 2026 23:58
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from a7cd2e4 to cf0a0f0 Compare July 17, 2026 23:59
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from 770928e to 0f62fee Compare August 10, 2026 23:21
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from cf0a0f0 to 41d73da Compare August 10, 2026 23:22
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 41d73da to 5c99123 Compare August 20, 2026 00:23
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch 2 times, most recently from a9e1891 to ec3d653 Compare August 20, 2026 01:46
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 5c99123 to 79ecf17 Compare August 20, 2026 01:46
- Add ttbr(asid=..., base=...) and ttbr(vmid=..., base=...) to pack ASID/VMID bits into TTBR values.
- Cover the helper in the Alias+VM parser and converter expectations.
@febyeji
febyeji force-pushed the feature/pgt-dsl-table-references branch from ec3d653 to be91a2c Compare August 20, 2026 03:31
@febyeji
febyeji force-pushed the feature/pgt-dsl-ttbr-functions branch from 79ecf17 to 1b0702d Compare August 20, 2026 03:31
@febyeji febyeji closed this Aug 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant