.global hal_loadpd
hal_loadpd:
  mov %rdi, %cr3
  retq

.global hal_invalpg
hal_invalpg:
  invlpg (%rdi)
  retq