- tkernel_2
- kernel/extension/memory/nommu/memmgr.c - 13.8KB - 555 lines
499: /* Acquire system configuration definition information */
500: ercd = _tk_get_cfn(SCTAG_REALMEMEND, (INT*)&memend, 1);
501: if ( ercd < 1 || (UINT)memend > (UINT)lowmem_limit ) {
- kernel/sysmgr/src/device.c - 22.4KB - 827 lines
47: /* Get system information */
48: ercd = _tk_get_cfn(SCTAG_TDEVTMBFSZ, val, 2);
49:
- More results from device.c
- kernel/sysmgr/src/deviceio.c - 35.3KB - 1,328 lines
1266:
1267: i = _tk_get_cfn(SCTAG_TMAXOPNDEV, &MaxOpnDev, 1);
1268: if ( i < 1 ) {
- More results from deviceio.c
- kernel/sysmgr/src/system.c - 11.8KB - 495 lines
194:
195: ercd = _tk_get_cfn(name, val, max);
196: if ( ercd < E_OK ) {
- More results from system.c
- kernel/tkernel/src/eventflag.c - 11.8KB - 477 lines
60: /* Get system information */
61: n = _tk_get_cfn(SCTAG_TMAXFLGID, &max_flgid, 1);
62: if ( n < 1 || NUM_FLGID < 1 ) {
- kernel/tkernel/src/mailbox.c - 11.4KB - 462 lines
70: /* Get system information */
71: n = _tk_get_cfn(SCTAG_TMAXMBXID, &max_mbxid, 1);
72: if ( n < 1 || NUM_MBXID < 1 ) {
- kernel/tkernel/src/mempfix.c - 12.5KB - 498 lines
71: /* Get system information */
72: n = _tk_get_cfn(SCTAG_TMAXMPFID, &max_mpfid, 1);
73: if ( n < 1 || NUM_MPFID < 1 ) {
- kernel/tkernel/src/mempool.c - 20.9KB - 791 lines
66: /* Get system information */
67: n = _tk_get_cfn(SCTAG_TMAXMPLID, &max_mplid, 1);
68: if ( n < 1 || NUM_MPLID < 1 ) {
- kernel/tkernel/src/messagebuf.c - 18.5KB - 689 lines
73: /* Get system information */
74: n = _tk_get_cfn(SCTAG_TMAXMBFID, &max_mbfid, 1);
75: if ( n < 1 || NUM_MBFID < 1 ) {
- kernel/tkernel/src/misc_calls.c - 6.9KB - 264 lines
66:
67: if ( (n = _tk_get_cfn(SCTAG_MAKER, info, 1)) >= 1 ) {
68: pk_rver->maker = (UH)info[0]; /* OS manufacturer */
- More results from misc_calls.c