Function platform_mark_gdt_writable

loader/linux/src/platform.c:470–474

* <!-- description --> * @brief Marks the current GDT as read/write */

 *   @brief Marks the current GDT as read/write
 */
void
platform_mark_gdt_writable(void) NOEXCEPT
{
    load_direct_gdt(raw_smp_processor_id());
}

/**
 * <!-- description -->