Lines Matching full:xc000
247 SET_INT_VECTOR(0x10, #0xC000, #vgabios_int10_handler)
286 mov bx, #0xc000
396 mov bx, #0xc000
495 .word 0xc000
533 mov ax,#0xc000
994 write_word(BIOSMEM_SEG,BIOSMEM_VS_POINTER+2, 0xc000);
1029 SET_INT_VECTOR(0x1f, #0xC000, #_vgafont8+128*8)
1035 SET_INT_VECTOR(0x43, #0xC000, #_vgafont8)
1040 SET_INT_VECTOR(0x43, #0xC000, #_vgafont14)
1045 SET_INT_VECTOR(0x43, #0xC000, #_vgafont16)
2706 memcpyb(0xA000, dest, 0xC000, vgafont14+src, 14);
2725 memcpyb(0xA000, dest, 0xC000, vgafont8+src, 8);
2759 memcpyb(0xA000, dest, 0xC000, vgafont16+src, 16);
2813 write_word(ss,ES,0xC000);
2817 write_word(ss,ES,0xC000);
2821 write_word(ss,ES,0xC000);
2825 write_word(ss,ES,0xC000);
2829 write_word(ss,ES,0xC000);
2833 write_word(ss,ES,0xC000);
3149 write_word(ES,DI+0x02,0xC000);
3797 while (c = read_byte(0xc000, s)) {
