Skip to content

Commit

Permalink
minor type cast
Browse files Browse the repository at this point in the history
  • Loading branch information
yuvraj1803 committed Nov 10, 2023
1 parent 7a5cb6d commit 75c2dd9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion core/vcpu.c
Original file line number Diff line number Diff line change
Expand Up @@ -406,7 +406,7 @@ void vcpu_enter(){
current->cpu.system_timer_regs.cs |= (~current->cpu.system_timer_regs.cs & timers_matched);

// switch IPA to current VM's IPA.
load_vttbr_el2(current->vmid, current->virtual_address_space->lv1_table);
load_vttbr_el2(current->vmid, (uint64_t)current->virtual_address_space->lv1_table);

}

Expand Down

0 comments on commit 75c2dd9

Please sign in to comment.