__asm__ __volatile__(
        "                                                       \
            movq %[pml4], %%cr3\r\n                             \
            nop\r\n                                             \
            nop\r\n                                             \
            nop\r\n                                             \
            nop\r\n                                             \
            movq %[stack_ptr], %%rsp\r\n                        \
            movq %[bootdata_ptr], %%rdi\r\n                     \
            jmp %[entry_point]\r\n                              \
        "
        : /* output args */
        : /* input args*/
            [stack_ptr]     "r" (kernel_stack_area_virt_base + PAGE_4K_SIZE * 127),
            [pml4]          "r" (pml4),
            [bootdata_ptr]  "r" (coreloader_info.bootdata),
            [entry_point]   "r" (coreloader_info.entry_point)
        : /* register preferences*/
            "rax",
            "rdi",
            "rdx"
    );