Searched refs:msr_no (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dmsr.c27 unsigned int msr_no; local
28 if (vm_get_thread_context_reg(vcpu, VCPU_CONTEXT_ECX, &msr_no)) {
33 ZF_LOGD("rdmsr ecx 0x%x\n", msr_no);
36 switch (msr_no) {
74 ZF_LOGW("rdmsr WARNING unsupported msr_no 0x%x\n", msr_no);
96 unsigned int msr_no; local
97 if (vm_get_thread_context_reg(vcpu, VCPU_CONTEXT_ECX, &msr_no)) {
107 ZF_LOGD("wrmsr ecx 0x%x value: 0x%x 0x%x\n", msr_no, val_high, val_low);
110 switch (msr_no) {
[all...]

Completed in 43 milliseconds