LWNのSupporting KVM on the ARM architectureの記事にHYPモードのページテーブルに関して、以下のような説明がありました。 for the SVC and USR modes, the hardware has two separate page table base registers, which are used to provide the familiar address space split between user space and kernel. HYP mode only uses a single page table base register and therefore does not allow the address space split between user mode and kernel. これを読むと、AR