/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/32/ |
H A D | crt0_64.S | 31 msr sctlr_el1, xzr 34 msr cptr_el2, x9 35 msr hstr_el2, xzr 36 msr mdcr_el2, xzr 39 msr vttbr_el2, xzr 42 msr hcr_el2, xzr 45 msr hcr_el2, x17 49 msr spsr_el2, x18 53 msr elr_el2, x19
|
/seL4-test-master/projects/musllibc/src/thread/aarch64/ |
H A D | __set_thread_area.s | 4 msr tpidr_el0,x0
|
/seL4-test-master/projects/musllibc/src/thread/aarch64_sel4/ |
H A D | __set_thread_area.s | 4 msr tpidr_el0,x0
|
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/armv/armv8-a/64/ |
H A D | mmu-hyp.S | 51 msr hcr_el2, x9 55 msr cptr_el2, x9 56 msr hstr_el2, xzr 57 msr vttbr_el2, xzr 63 msr spsr_el2, x9 68 msr sp_el1, x10 69 msr elr_el2, x30 95 msr mair_el2, x5 97 msr tcr_el2, x8 101 msr ttbr0_el [all...] |
H A D | mmu.S | 69 msr mair_el1, x5 74 msr tcr_el1, x10 78 msr ttbr0_el1, x8 80 msr ttbr1_el1, x8 91 msr vbar_el1, x8
|
/seL4-test-master/projects/musllibc/src/fenv/aarch64/ |
H A D | fenv.s | 14 msr fpcr, x1 32 msr fpsr, x1 42 msr fpsr, x1 64 1: msr fpcr, x1 65 msr fpsr, x2
|
/seL4-test-master/projects/musllibc/src/fenv/aarch64_sel4/ |
H A D | fenv.s | 14 msr fpcr, x1 32 msr fpsr, x1 42 msr fpsr, x1 64 1: msr fpcr, x1 65 msr fpsr, x2
|
/seL4-test-master/kernel/src/arch/arm/64/ |
H A D | head.S | 74 msr daifset, #DAIFSET_MASK 77 msr spsel, #1 83 msr SCTLR, x4 98 msr tpidr_el2, x6 100 msr tpidr_el1, x6
|
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/armv/armv7-a/32/ |
H A D | mmu-hyp.S | 23 msr spsr_hyp, r0 24 msr sp_svc, sp 25 msr elr_hyp, lr
|
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/armv/armv8-a/32/ |
H A D | mmu-hyp.S | 23 msr spsr_hyp, r0 24 msr sp_svc, sp 25 msr elr_hyp, lr
|
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/armv/armv7ve/32/ |
H A D | mmu-hyp.S | 23 msr spsr_hyp, r0 24 msr sp_svc, sp 25 msr elr_hyp, lr
|
/seL4-test-master/projects/musllibc/arch/powerpc/bits/ |
H A D | user.h | 2 unsigned long gpr[32], nip, msr, orig_gpr3, ctr, link, xer, ccr, mq; member in struct:pt_regs
|
/seL4-test-master/projects/musllibc/arch/powerpc64/bits/ |
H A D | user.h | 2 unsigned long gpr[32], nip, msr, orig_gpr3, ctr, link, xer, ccr, softe; member in struct:pt_regs
|
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
H A D | private.h | 227 uint32_t* msr = (uint32_t*)arg; local 231 : "=a" (msr[1]) /* output low */ 232 , "=d" (msr[2]) /* output high */ 233 : "c" (msr[0]) /* input MSR index */ 240 uint32_t* msr = (uint32_t*)arg; local 245 : "a" (msr[1]) /* input low */ 246 , "d" (msr[2]) /* input high */ 247 , "c" (msr[0]) /* input MSR index */
|
/seL4-test-master/tools/seL4/elfloader-tool/include/arch-arm/64/mode/ |
H A D | assembler.h | 74 msr \sctlr, \tmp 83 msr \sctlr, \tmp 91 msr \sctlr, \tmp 111 msr csselr_el1, x10 144 msr csselr_el1, x10
|
/seL4-test-master/projects/musllibc/arch/microblaze/bits/ |
H A D | signal.h | 17 unsigned long pc, msr, ear, esr, fsr; member in struct:sigcontext::__anon130
|
/seL4-test-master/kernel/src/arch/arm/32/ |
H A D | head.S | 87 msr cpsr_fc, r5
|
/seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 888 LIBSEL4_INLINE_FUNC void seL4_X86DangerousWRMSR(seL4_Uint32 msr, seL4_Uint64 value) argument 896 x86_sys_send(seL4_SysX86DangerousWRMSR, msr, 0, value_low, value_high); 898 LIBSEL4_INLINE_FUNC seL4_Uint64 seL4_X86DangerousRDMSR(seL4_Word msr) argument 903 x86_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1, &low, MCS_COND(0, &high));
|
/seL4-test-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls.h | 621 LIBSEL4_INLINE_FUNC void seL4_X86DangerousWRMSR(seL4_Uint32 msr, seL4_Uint64 value) argument 623 x64_sys_send(seL4_SysX86DangerousWRMSR, msr, 0, value, 0, 0, 0); 625 LIBSEL4_INLINE_FUNC seL4_Uint64 seL4_X86DangerousRDMSR(seL4_Uint32 msr) argument 633 x64_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1, &val, &unused2, &unused3, &unused4, 0);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | serial.c | 94 uint32_t msr; /* 0x18: modem status */ member in struct:tk1_uart_regs
|