#include "regs.S" .global hal_switchproc hal_switchproc: mov %cr3, %rcx cmp %rsi, %rcx je .done mov %rsi, %cr3 .done: mov %rdi, %rsp _pop_regs add $0x10, %rsp iretq