Searched refs:cr4 (Results 1 - 15 of 15) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/x86/api/ |
| H A D | faults.c | 50 word_t cr4
63 word_t cr4
83 printf("CR4: 0x%lx\n", cr4);
|
| /seL4-camkes-master/kernel/src/arch/x86/32/ |
| H A D | head.S | 21 movl %cr4, %eax
23 movl %eax, %cr4
39 movl %cr4, %eax
41 movl %eax, %cr4
|
| H A D | traps.S | 469 movl %cr4, %esi
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | guest_state.h | 70 MACHINE_STATE(unsigned int, cr4);
119 IS_MACHINE_STATE_MODIFIED(gs->machine.cr4) ||
137 MACHINE_STATE_INIT(gs->machine.cr4);
153 MACHINE_STATE_INVAL(gs->machine.cr4);
198 if (IS_MACHINE_STATE_UNKNOWN(gs->machine.cr4)) {
201 MACHINE_STATE_READ(gs->machine.cr4, value);
203 return gs->machine.cr4;
320 MACHINE_STATE_DIRTY(gs->machine.cr4);
321 gs->machine.cr4 = val;
397 if (IS_MACHINE_STATE_MODIFIED(gs->machine.cr4)) {
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/64/ |
| H A D | head.S | 186 movl %cr4, %eax
187 /* Enable the bit in cr4. */
189 movl %eax, %cr4
222 movl %cr4, %eax
224 movl %eax, %cr4
236 movl %cr4, %eax
238 movl %eax, %cr4
|
| H A D | traps.S | 571 movq %cr4, %r11
|
| /seL4-camkes-master/projects/musllibc/src/setjmp/arm/ |
| H A D | longjmp.s | 23 ldc p2, cr4, [ip], #48
|
| H A D | setjmp.s | 25 stc p2, cr4, [ip], #48
|
| /seL4-camkes-master/projects/musllibc/src/setjmp/arm_sel4/ |
| H A D | longjmp.s | 23 ldc p2, cr4, [ip], #48
|
| H A D | setjmp.s | 25 stc p2, cr4, [ip], #48
|
| /seL4-camkes-master/tools/rumprun/platform/hw/arch/amd64/ |
| H A D | locore.S | 104 movl %cr4, %eax
106 movl %eax, %cr4
|
| /seL4-camkes-master/tools/rumprun/platform/hw/arch/i386/ |
| H A D | locore.S | 72 movl %cr4, %eax
74 movl %eax, %cr4
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/ |
| H A D | machine.h | 163 unsigned long cr4 = read_cr4(); local
164 write_cr4(cr4 & ~BIT(7));
165 write_cr4(cr4);
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/serial/ |
| H A D | serial.c | 70 uint32_t cr4; /* 0x08C Control Register 4 */ member in struct:imx_uart_regs
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | vcpu.c | 208 static bool_t vtx_check_fixed_values(word_t cr0, word_t cr4) argument
214 if (!check_fixed_value(cr4, cr4_low, cr4_high)) {
|
Completed in 99 milliseconds