rm_platter_t
rm_platter_t *real_mode_platter = (rm_platter_t *)rm_platter_va;
rm_platter_t *wcpp = (rm_platter_t *)wakevirt;
rm_platter_t *real_mode_platter = (rm_platter_t *)rm_platter_va;
rm_platter_t *real_mode_platter = (rm_platter_t *)rm_platter_va;
offsetof(rm_platter_t, rm_temp_gdt);
rmp_gdt_init(rm_platter_t *rm)
(uint32_t)offsetof(rm_platter_t, rm_temp_gdt);
rm_platter_t *rm = (rm_platter_t *)rm_platter_va;
rm_platter_t *rm = (rm_platter_t *)rm_platter_va;
void rmp_gdt_init(rm_platter_t *);
rm_platter_t wc_platter;
extern void rmp_gdt_init(rm_platter_t *);