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