On 23/06/17 15:23, Sergej Proskurin wrote:
Hi Julien,
[...]
+static bool get_ttbr_and_gran_64bit(uint64_t *ttbr, unsigned int *gran,
+register_t tcr, enum active_ttbr
ttbrx)
+{
+bool disabled;
+
+if ( ttbrx == TTBR0_ACTIVE )
+{
+/* Norm
Hi Julien,
[...]
>> +static bool get_ttbr_and_gran_64bit(uint64_t *ttbr, unsigned int *gran,
>> +register_t tcr, enum active_ttbr
>> ttbrx)
>> +{
>> +bool disabled;
>> +
>> +if ( ttbrx == TTBR0_ACTIVE )
>> +{
>> +/* Normalize granule size. *
Hi Sergej,
On 20/06/17 21:33, Sergej Proskurin wrote:
+/*
+ * Set permissions so that the caller can check the flags by herself. Note
+ * that stage 1 translations also inherit attributes from the tables
+ * (ARM DDI 0487B.a J1-5928).
+ */
+if ( !pte.pt.ro && !ro_table )
Hi Sergej,
On 20/06/17 21:33, Sergej Proskurin wrote:
This commit adds functionality to walk the guest's page tables using the
long-descriptor translation table format for both ARMv7 and ARMv8.
Similar to the hardware architecture, the implementation supports
different page granularities (4K, 16
This commit adds functionality to walk the guest's page tables using the
long-descriptor translation table format for both ARMv7 and ARMv8.
Similar to the hardware architecture, the implementation supports
different page granularities (4K, 16K, and 64K). The implementation is
based on ARM DDI 0487B